Avni, Guy, Thomas A Henzinger, and ore dikeli. “Bidding Mechanisms in Graph Games.”https://doi.org/10.1016/j.jcss.2021.02.008__Journal of Computer and System Sciences. Elsevier, 2021.https://doi.org/10.1016/j.jcss.2021.02.008 .

Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.”https://doi.org/10.1109/LICS52264.2021.9470547__In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/LICS52264.2021.9470547 .

Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin C Guet. “Long Lived Transients in Gene Regulation.”https://doi.org/10.1016/j.tcs.2021.05.023__Theoretical Computer Science. Elsevier, 2021.https://doi.org/10.1016/j.tcs.2021.05.023 .

Mühlböck, Fabian, and Thomas A Henzinger. “Differential Monitoring.”https://doi.org/10.1007/978-3-030-88494-9_12__In International Conference on Runtime Verification, 12974:231–43. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_12 .

Mühlböck, Fabian, and Thomas A Henzinger. Differential Monitoring. IST Austria, 2021.https://doi.org/10.15479/AT:ISTA:9946 .

Sietzen, Stefan, Mathias Lechner, Judy Borowski, Ramin Hasani, and Manuela Waldner. “Interactive Analysis of CNN Robustness.”https://doi.org/10.1111/cgf.14418__Computer Graphics Forum. Wiley, 2021.https://doi.org/10.1111/cgf.14418 .

Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.”https://doi.org/10.23638/LMCS-17(1:10)2021__Logical Methods in Computer Science. International Federation for Computational Logic, 2021.https://doi.org/10.23638/LMCS-17(1:10)2021 .

Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.”https://doi.org/10.1109/ICRA48506.2021.9561036__In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021.https://doi.org/10.1109/ICRA48506.2021.9561036 .

Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.”https://doi.org/10.1007/978-3-030-88494-9_3__In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_3 .

Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” In Proceedings of the 37th International Conference on Machine Learning, 4082–93. PMLR, 2020.

Ferrere, Thomas, Thomas A Henzinger, and Bernhard Kragl. “Monitoring Event Frequencies.”https://doi.org/10.4230/LIPIcs.CSL.2020.20__In 28th EACSL Annual Conference on Computer Science Logic, Vol. 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CSL.2020.20 .

Althoff, Matthias, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, et al. “ARCH-COM Category Report: Continuous and Hybrid Systems with Linear Dynamics.”https://doi.org/10.29007/7dt2__In EPiC Series in Computing, 74:16–48. EasyChair, 2020.https://doi.org/10.29007/7dt2 .

Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COM Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.”https://doi.org/10.29007/zkf6__In EPiC Series in Computing, 74:49–75. EasyChair, 2020.https://doi.org/10.29007/zkf6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.23__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 .

Avni, Guy, and Thomas A Henzinger. “A Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.2__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.2 .

Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.”https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21__In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020.https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21 .

Singh, Sidak Pal, and Dan-Adrian Alistarh. “WoodFisher: Efficient Second-Order Approximation for Neural Network Compression.” In Advances in Neural Information Processing Systems, 33:18098–109. Curran Associates, 2020.

Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.”https://doi.org/10.1109/CDC42340.2020.9304042__In Proceedings of the 59th IEEE Conference on Decision and Control, 2020:1556–63. IEEE, 2020.https://doi.org/10.1109/CDC42340.2020.9304042 .

Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” In 8th International Conference on Learning Representations. ICLR, 2020.

Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits Does It Take to Quantize Your Neural Network?”https://doi.org/10.1007/978-3-030-45237-7_5__In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12079:79–97. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-45237-7_5 .