Emily Yu
6 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19668 | 
Yu, E., Zikelic, D., & Henzinger, T. A. (2025). Neural control and certificate repair via runtime monitoring. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26409–26417). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34840
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Froleyks, N., Yu, E., Preiner, M., Biere, A., & Heljanko, K. (2025). Introducing certificates to the hardware model checking competition. In 37th International Conference on Computer Aided Verification (Vol. 15931, pp. 281–295). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98668-0_14
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20256 |
Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025). Predictive monitoring of black-box dynamical systems. In 7th Annual Learning for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor, MI, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20296 |
Kresse, F., Yu, E., Lampert, C., & Henzinger, T. A. (2025). Logic gate neural networks are good for verification. In 2nd International Conferenceon Neuro-Symbolic Systems (Vol. 288). Philadephia, PA, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2024 | Submitted | Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, E., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Grants
6 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu, E., Zikelic, D., & Henzinger, T. A. (2025). Neural control and certificate repair via runtime monitoring. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26409–26417). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34840
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Froleyks, N., Yu, E., Preiner, M., Biere, A., & Heljanko, K. (2025). Introducing certificates to the hardware model checking competition. In 37th International Conference on Computer Aided Verification (Vol. 15931, pp. 281–295). Zagreb, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-98668-0_14
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20256 |
Henzinger, T. A., Kresse, F., Mallik, K., Yu, E., & Zikelic, D. (2025). Predictive monitoring of black-box dynamical systems. In 7th Annual Learning for Dynamics & Control Conference (Vol. 283, pp. 804–816). Ann Arbor, MI, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20296 |
Kresse, F., Yu, E., Lampert, C., & Henzinger, T. A. (2025). Logic gate neural networks are good for verification. In 2nd International Conferenceon Neuro-Symbolic Systems (Vol. 288). Philadephia, PA, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2024 | Submitted | Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, E., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv