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 .
LibreCat: https://research-explorer.ista.ac.at/record/8012
DOI: 10.1145/3385412.3385980
WoS: 000614622300016

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 .
LibreCat: https://research-explorer.ista.ac.at/record/10861
DOI: 10.1007/s10009-020-00582-z
WoS: 000555398600001

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 .
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/9202
DOI: 10.1109/RTSS49844.2020.00031
WoS: 000680435100021

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 .
LibreCat: https://research-explorer.ista.ac.at/record/7426
DOI: 10.1016/j.nahs.2020.100856
WoS: 000528828600003

Frehse, Goran, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, et al. “ARCH-COM Category Report: Hybrid Systems with Piecewise Constant Dynamics.”https://doi.org/10.29007/rjwn__In ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff, 61:1–13. EasyChair, 2019.https://doi.org/10.29007/rjwn .
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 10.29007/rjwn

Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.”https://doi.org/10.1109/INDIANCC.2019.8715598__In 5th Indian Control Conference Proceedings. IEEE, 2019.https://doi.org/10.1109/INDIANCC.2019.8715598 .
LibreCat: https://research-explorer.ista.ac.at/record/6565
DOI: 10.1109/INDIANCC.2019.8715598

Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.”https://doi.org/10.1007/978-3-030-30806-3_1__In https://doi.org/10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019.https://doi.org/10.1007/978-3-030-30806-3_1 .
LibreCat: https://research-explorer.ista.ac.at/record/6822
DOI: 10.1007/978-3-030-30806-3_1

Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.”https://doi.org/10.1109/icra.2019.8793840__In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019.https://doi.org/10.1109/icra.2019.8793840 .
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,”https://doi.org/10.4230/LIPICS.CONCUR.2019.20__Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 .
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588