Thomas Henzinger
Institute of Science and Technology Austria
H-index: 117
Europe-Austria
Top articles of Thomas Henzinger
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Compositional policy learning in stochastic control systems with formal guarantees | Advances in Neural Information Processing Systems | Đorđe Žikelić Mathias Lechner Abhinav Verma Krishnendu Chatterjee Thomas Henzinger | 2024/2/13 |
Quantization-aware interval-bound propagation for training certifiably robust quantized neural networks | Proceedings of the AAAI Conference on Artificial Intelligence | Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A Henzinger Daniela Rus | 2023/6/26 |
Regular methods for operator precedence languages | arXiv preprint arXiv:2305.03447 | Thomas A Henzinger Pavol Kebis Nicolas Mazzocchi N Saraç | 2023/5/5 |
History-deterministic Timed Automata | arXiv preprint arXiv:2304.03183 | Sougata Bose Thomas A Henzinger Karoliina Lehtinen Sven Schewe Patrick Totzke | 2023/4/6 |
Learning control policies for stochastic systems with reach-avoid guarantees | Proceedings of the AAAI Conference on Artificial Intelligence | Đorđe Žikelić Mathias Lechner Thomas A Henzinger Krishnendu Chatterjee | 2023/6/26 |
Learning provably stabilizing neural controllers for discrete-time stochastic systems | Matin Ansaripour Krishnendu Chatterjee Thomas A Henzinger Mathias Lechner Đorđe Žikelić | 2023/10/22 | |
Binary decision diagrams on modern hardware | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design | Samuel Pastva Thomas A Henzinger | 2023 |
Hypernode automata | arXiv preprint arXiv:2305.02836 | Ezio Bartocci Thomas A Henzinger Dejan Nickovic Ana Oliveira da Costa | 2023/5/4 |
Trap spaces of multi-valued networks: Definition, computation, and applications | Bioinformatics | Van-Giang Trinh Belaid Benhamou Thomas Henzinger Samuel Pastva | 2023/6/1 |
Monitoring Hyperproperties with Prefix Transducers | Marek Chalupa Thomas A Henzinger | 2023/10/1 | |
Repository of logically consistent real-world boolean network models | bioRxiv | Samuel Pastva David Safranek Nikola Benes Lubos Brim Thomas Henzinger | 2023 |
A learner-verifier framework for neural-network controllers and certificates of stochastic systems | Krishnendu Chatterjee Thomas A Henzinger Mathias Lechner Đorđe Žikelić | 2023/4/22 | |
Monitoring algorithmic fairness | Thomas A Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik | 2023/5/25 | |
Monitoring algorithmic fairness under partial observations | Thomas A Henzinger Konstantin Kueffner Kaushik Mallik | 2023/10/1 | |
Into the unknown: Active monitoring of neural networks | International Journal on Software Tools for Technology Transfer | Konstantin Kueffner Anna Lukina Christian Schilling Thomas A Henzinger | 2023/8 |
Quantitative safety and liveness | Thomas A Henzinger Nicolas Mazzocchi N Ege Saraç | 2023/4/21 | |
Runtime monitoring of dynamic fairness properties | Thomas A Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik | 2023/5/8 | |
Safety and liveness of quantitative automata | arXiv preprint arXiv:2307.06016 | Udi Boker Thomas A Henzinger Nicolas Mazzocchi N Saraç | 2023/7/12 |
Revisiting the adversarial robustness-accuracy trade-off in robot learning | IEEE Robotics and Automation Letters | Mathias Lechner Alexander Amini Daniela Rus Thomas A Henzinger | 2023/1/31 |
Vamos: Middleware for best-effort third-party monitoring | Marek Chalupa Fabian Muehlboeck Stefanie Muroya Lei Thomas A Henzinger | 2023/4/20 |