T. Henzinger

Most-cited papers

Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Dorde Zikelic, Mathias Lechner, T. Henzinger, Krishnendu Chatterjee
2022AAAI Conference on Artificial Intelligence70 citations Open access
Semantic Scholar
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, T. Henzinger
2021AAAI Conference on Artificial Intelligence56 citations Open access
Semantic Scholar
Inductive sequentialization of asynchronous programs
Bernhard Kragl, C. Enea, T. Henzinger, Suha Orhun Mutluergil +1 more
2020ACM-SIGPLAN Symposium on Programming Language Design and Implementation38 citations Open access
Semantic Scholar
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee +1 more
2023Neural Information Processing Systems35 citations
Semantic Scholar
Adversarial Training is Not Ready for Robot Learning
Mathias Lechner, Ramin M. Hasani, R. Grosu, D. Rus +1 more
2021IEEE International Conference on Robotics and Automation35 citations Open access
Semantic Scholar
Into the unknown: Active monitoring of neural networks
Anna Lukina, Christian Schilling, T. Henzinger
2020Runtime Verification33 citations Open access
Semantic Scholar
How Many Bits Does it Take to Quantize Your Neural Network?
Mirco Giacobbe, T. Henzinger, Mathias Lechner
2020International Conference on Tools and Algorithms for Construction and Analysis of Systems33 citations Open access
Semantic Scholar
Runtime Monitoring of Dynamic Fairness Properties
T. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023Conference on Fairness, Accountability and Transparency28 citations Open access
Semantic Scholar
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
T. Henzinger, Kaushik Mallik, Pouya Sadeghi, Dorde Zikelic
2025International Conference on Computer Aided Verification24 citations
Semantic Scholar
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
Krishnendu Chatterjee, T. Henzinger, Mathias Lechner, Dorde Zikelic
2023International Conference on Tools and Algorithms for Construction and Analysis of Systems24 citations Open access
Semantic Scholar
Repository of logically consistent real-world Boolean network models
Samuel Pastva, David Šafránek, N. Benes, L. Brim +1 more
2023bioRxiv23 citations Open access
Semantic Scholar
Monitorability Under Assumptions
T. Henzinger, N. Saraç
2020Runtime Verification22 citations
Semantic Scholar
Infinite Time Horizon Safety of Bayesian Neural Networks
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, T. Henzinger
2021Neural Information Processing Systems20 citations
Semantic Scholar
Monitoring Algorithmic Fairness
T. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
2023International Conference on Computer Aided Verification19 citations Open access
Semantic Scholar
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, D. Rus +3 more
2021arXiv.org18 citations
Semantic Scholar
Refinement for Structured Concurrent Programs
Bernhard Kragl, S. Qadeer, T. Henzinger
2020International Conference on Computer Aided Verification18 citations Open access
Semantic Scholar
Synthesis of hybrid automata with affine dynamics from time-series data
Miriam García Soto, T. Henzinger, Christian Schilling
2021International Conference on Hybrid Systems: Computation and Control17 citations Open access
Semantic Scholar
Formal Methods with a Touch of Magic
P. A. Alamdari, Guy Avni, T. Henzinger, Anna Lukina
2020Formal Methods in Computer-Aided Design17 citations
Semantic Scholar
Games on Graphs: From Logic and Automata to Algorithms
Nathanaël Fijalkow, C. Aiswarya, Guy Avni, Nathalie Bertrand +21 more
202315 citations
Semantic Scholar
GoTube: Scalable Statistical Verification of Continuous-Depth Models
Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus +3 more
2022AAAI Conference on Artificial Intelligence15 citations Open access
Semantic Scholar
Quantitative and Approximate Monitoring
T. Henzinger, N. Saraç
2021Logic in Computer Science14 citations Open access
Semantic Scholar
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Mathias Lechner, Alexander Amini, Daniela Rus, T. Henzinger
2022IEEE Robotics and Automation Letters13 citations Open access
Semantic Scholar
History-Deterministic Timed Automata
Sougata Bose, T. Henzinger, K. Lehtinen, S. Schewe +1 more
2023International Conference on Concurrency Theory12 citations Open access
Semantic Scholar
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
Matin Ansaripour, Krishnendu Chatterjee, T. Henzinger, Mathias Lechner +1 more
2022Automated Technology for Verification and Analysis12 citations Open access
Semantic Scholar
Quantitative Safety and Liveness
T. Henzinger, Nicolas Mazzocchi, N. Saraç
2023Foundations of Software Science and Computation Structure11 citations Open access
Semantic Scholar
Neural Control and Certificate Repair via Runtime Monitoring
Emily Yu, Dorde Zikelic, T. Henzinger
2024AAAI Conference on Artificial Intelligence10 citations
Semantic Scholar
Flavors of Sequential Information Flow
E. Bartocci, Thomas Ferrère, T. Henzinger, D. Ničković +1 more
2022International Conference on Verification, Model Checking and Abstract Interpretation10 citations
Semantic Scholar
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution)
Marek Chalupa, T. Henzinger
2023International Conference on Tools and Algorithms for Construction and Analysis of Systems9 citations Open access
Semantic Scholar
Certificates in AI: Learn but Verify
Clark Barrett, T. Henzinger, S. Seshia
2025Communications of the ACM8 citations Open access
Semantic Scholar
Monitoring Algorithmic Fairness under Partial Observations
T. Henzinger, Konstantin Kueffner, Kaushik Mallik
2023Runtime Verification8 citations Open access
Semantic Scholar
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang +2 more
2022arXiv.org8 citations Open access
Semantic Scholar
Privacy-Preserving Runtime Verification
T. Henzinger, Mahyar Karimi, K. S. Thejaswini
2025Conference on Computer and Communications Security7 citations Open access
Semantic Scholar
Fairness Shields: Safeguarding against Biased Decision Makers
Filip Cano, T. Henzinger, Bettina Könighofer, Konstantin Kueffner +1 more
2024AAAI Conference on Artificial Intelligence7 citations
Semantic Scholar
Regular Methods for Operator Precedence Languages
T. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Saraç
2023International Colloquium on Automata, Languages and Programming7 citations Open access
Semantic Scholar
Hardware-optimal quantum algorithms
Stefanie Muroya, K. Chatterjee, T. Henzinger
2025Proceedings of the National Academy of Sciences of the United States of America6 citations Open access
Semantic Scholar
Monitoring Hyperproperties With Prefix Transducers
Marek Chalupa, T. Henzinger
2023Runtime Verification6 citations Open access
Semantic Scholar
Abstract Monitors for Quantitative Specifications
T. Henzinger, Nicolas Mazzocchi, N. Saraç
2022Runtime Verification6 citations Open access
Semantic Scholar
Trap spaces of multi-valued networks: definition, computation, and applications
Van-Giang Trinh, B. Benhamou, T. Henzinger, Samuel Pastva
2023Bioinform.5 citations Open access
Semantic Scholar
Entangled Residual Mappings
Mathias Lechner, Ramin M. Hasani, Z. Babaiee, R. Grosu +3 more
2022arXiv.org5 citations Open access
Semantic Scholar
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, T. Henzinger +1 more
2022AAAI Conference on Artificial Intelligence5 citations Open access
Semantic Scholar
History-Deterministic Timed Automata Are Not Determinizable
Sougata Bose, T. Henzinger, K. Lehtinen, S. Schewe +1 more
2022Reachability Problems5 citations
Semantic Scholar
Logic Gate Neural Networks are Good for Verification
Fabian Kresse, Emily Yu, Christoph H. Lampert, T. Henzinger
2025NeuS4 citations
Semantic Scholar
Resolving Nondeterminism with Randomness
T. Henzinger, Aditya Prakash, K. S. Thejaswini
2025International Symposium on Mathematical Foundations of Computer Science4 citations
Semantic Scholar
Monitoring Robustness and Individual Fairness
Ashutosh Gupta, T. Henzinger, Konstantin Kueffner, Kaushik Mallik +1 more
2025Knowledge Discovery and Data Mining4 citations Open access
Semantic Scholar
Bidding Games with Charging
Guy Avni, E. Goharshady, T. Henzinger, Kaushik Mallik
2024International Conference on Concurrency Theory4 citations
Semantic Scholar
Safety and Liveness of Quantitative Properties and Automata
Udi Boker, T. Henzinger, Nicolas Mazzocchi, N. Saraç
2023Log. Methods Comput. Sci.4 citations Open access
Semantic Scholar
Synthesis of Parametric Hybrid Automata from Time Series
Miriam García Soto, T. Henzinger, Christian Schilling
2022Automated Technology for Verification and Analysis4 citations Open access
Semantic Scholar
Learning Stabilizing Policies in Stochastic Control Systems
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, T. Henzinger
2022arXiv.org4 citations Open access
Semantic Scholar
Dicey Games: Shared Sources of Randomness in Distributed Systems
Léonard Brice, T. Henzinger, K. S. Thejaswini
2026Logic in Computer Science3 citations
Semantic Scholar
Decoupled Planning for Multiple Omega-Regular Objectives
Guy Avni, T. Henzinger, Kaushik Mallik, S. Sadhukhan +1 more
2026International Conference on Computer Aided Verification3 citations
Semantic Scholar