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 .

Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.”https://doi.org/10.1145/3385412.3385980__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385980 .

Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.”https://doi.org/10.1007/s10009-020-00582-z__International Journal on Software Tools for Technology Transfer. Springer Nature, 2020.https://doi.org/10.1007/s10009-020-00582-z .

Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.”https://doi.org/10.15479/AT:ISTA:8332__Institute of Science and Technology Austria, 2020.https://doi.org/10.15479/AT:ISTA:8332 .

Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.”https://doi.org/10.1109/RTSS49844.2020.00031__In 2020 IEEE Real-Time Systems Symposium, 244–56. IEEE, 2020.https://doi.org/10.1109/RTSS49844.2020.00031 .

Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.”https://doi.org/10.1016/j.nahs.2020.100856__Nonlinear Analysis: Hybrid Systems. Elsevier, 2020.https://doi.org/10.1016/j.nahs.2020.100856 .