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 .

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games.”https://doi.org/10.1016/j.tcs.2019.06.031__Theoretical Computer Science. Elsevier, 2020.https://doi.org/10.1016/j.tcs.2019.06.031 .

Henzinger, Thomas A, Anna Lukina, and Christian Schilling. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.”https://doi.org/10.3233/FAIA200375__In 24th European Conference on Artificial Intelligence, 325:2433–40. IOS Press, 2020.https://doi.org/10.3233/FAIA200375 .

Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamari. “An SMT Theory of Fixed-Point Arithmetic.”https://doi.org/10.1007/978-3-030-51074-9_2__In Automated Reasoning, 12166:13–31. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-51074-9_2 .

Lechner, Mathias, Ramin Hasani, Alexander Amini, Thomas A Henzinger, Daniela Rus, and Radu Grosu. “Neural Circuit Policies Enabling Auditable Autonomy.”https://doi.org/10.1038/s42256-020-00237-3__Nature Machine Intelligence. Springer Nature, 2020.https://doi.org/10.1038/s42256-020-00237-3 .

Lechner, Mathias, Ramin Hasani, Daniela Rus, and Radu Grosu. “Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-End Robot Learning Scheme.”https://doi.org/10.1109/ICRA40945.2020.9196608__In Proceedings - IEEE International Conference on Robotics and Automation, 5446–52. IEEE, 2020.https://doi.org/10.1109/ICRA40945.2020.9196608 .

Forets, Marcelo, Daniel Freire, and Christian Schilling. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with  Time-Triggered Transitions.”https://doi.org/10.1109/MEMOCODE51338.2020.9314994__In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE, 2020.https://doi.org/10.1109/MEMOCODE51338.2020.9314994 .

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, 2020.

Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.”https://doi.org/10.1109/TCAD.2020.3012859__IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE, 2020.https://doi.org/10.1109/TCAD.2020.3012859 .

Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games on Graphs.”https://doi.org/10.1609/aaai.v34i02.5546__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2020.https://doi.org/10.1609/aaai.v34i02.5546 .

Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.”https://doi.org/10.1007/978-3-030-60508-7_1__In Runtime Verification, 12399:3–18. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-60508-7_1 .

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .