Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.1007/978-3-031-44267-4_9__In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-44267-4_9 .

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.5281/ZENODO.8191723__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8191723 .

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.”https://doi.org/10.1145/3593013.3594028__In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023.https://doi.org/10.1145/3593013.3594028 .

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.”https://doi.org/10.1007/978-3-030-94583-1_1__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13182:1–19. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-94583-1_1 .

Brunnbauer, Axel, Luigi Berducci, Andreas Brandstatter, Mathias Lechner, Ramin Hasani, Daniela Rus, and Radu Grosu. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.”https://doi.org/10.1109/ICRA46639.2022.9811650__In 2022 International Conference on Robotics and Automation, 7513–20. IEEE, 2022.https://doi.org/10.1109/ICRA46639.2022.9811650 .

Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.”https://doi.org/10.1007/978-3-031-19992-9_22__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19992-9_22 .

Henzinger, Thomas A, Karoliina Lehtinen, and Patrick Totzke. “History-Deterministic Timed Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.14__In 33rd International Conference on Concurrency Theory, 243:14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.14 .

Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2022.3__In 47th International Symposium on Mathematical Foundations of Computer Science, 241:3:1-3:6. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.MFCS.2022.3 .

Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.”https://doi.org/10.48550/arXiv.2204.07373__ArXiv, n.d.https://doi.org/10.48550/arXiv.2204.07373 .

Henzinger, Thomas A. “Quantitative Monitoring of Software.”https://doi.org/10.1007/978-3-030-95561-8_1__In Software Verification, 13124:3–6. LNCS. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-95561-8_1 .

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.”https://doi.org/10.1007/978-3-030-99429-7_1__In Fundamental Approaches to Software Engineering, 13241:3–22. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-99429-7_1 .

Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.”https://doi.org/10.1007/978-3-031-17196-3_11__In 22nd International Conference on Runtime Verification, 13498:200–220. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-17196-3_11 .

Hasani, Ramin, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, and Daniela Rus. “Closed-Form Continuous-Time Neural Networks.”https://doi.org/10.1038/s42256-022-00556-7__Nature Machine Intelligence. Springer Nature, 2022.https://doi.org/10.1038/s42256-022-00556-7 .

Lechner, Mathias. “Learning Verifiable Representations.”https://doi.org/10.15479/at:ista:11362__Institute of Science and Technology Austria, 2022.https://doi.org/10.15479/at:ista:11362 .

Doveri, Kyveli, Pierre Ganty, and Nicolas Adrien Mazzocchi. “FORQ-Based Language Inclusion Formal Testing.”https://doi.org/10.1007/978-3-031-13188-2_6__In Computer Aided Verification, 13372:109–29. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-13188-2_6 .

Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.”https://doi.org/10.1007/978-3-031-19135-0_5__In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19135-0_5 .

Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.”https://doi.org/10.1609/aaai.v36i6.20631__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i6.20631 .

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.”https://doi.org/10.1609/aaai.v36i7.20695__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i7.20695 .

Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.”https://doi.org/10.48550/arXiv.2205.11991__ArXiv, n.d.https://doi.org/10.48550/arXiv.2205.11991 .