Thomas A. Henzinger
- Alternating-time temporal logic
2002/09/01 by Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · 33 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- The benefits of relaxing punctuality
1996/01/01 by Rajeev Alur, Tomás Feder, Thomas A. Henzinger · 9 citations
- Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
2021/12/17 by Mathias Lechner, Lechner, Mathias, Đorđe Žikelić +5 · 4 citations
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Model Reduction and Neural Networks
- Scalable Verification of Quantized Neural Networks (Technical Report)
2020/12/15 by Thomas A. Henzinger, Mathias Lechner, Henzinger, Thomas A. +3 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Radiation Effects in Electronics #Physical Unclonable Functions (PUFs) and Hardware Security
- Infinite-Duration Poorman-Bidding Games
2018/04/12 by Guy Avni, Avni, Guy, Thomas A. Henzinger +3 · 2 citations
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Infinite-duration Bidding Games
2019/07/16 by Guy Avni, Thomas A. Henzinger, Ventsislav Chonev · 2 citations
Decision Sciences · Economics, Econometrics and Finance · Computer Science · #Game Theory and Applications #Game Theory and Voting Systems #Logic, Reasoning, and Knowledge
- Probabilistic Weighted Automata
2009/09/09 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Laurent Doyen +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
- Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
2022/10/11 by Matin Ansaripour, Krishnendu Chatterjee, Ansaripour, Matin +7 · 2 citations
Computer Science · #Reinforcement Learning in Robotics
- Generalized Mean-payoff and Energy Games
2010/07/09 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Laurent Doyen +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Computability, Logic, AI Algorithms #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO)
- The Complexity of Multi-Mean-Payoff and Multi-Energy Games
2012/09/14 by Yaron Velner, Velner, Yaron, Krishnendu Chatterjee +9 · 1 citation
Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems
- Quantitative Synthesis for Concurrent Programs
2011/04/21 by Pavol Černý, Krishnendu Chatterjee, Cerny, Pavol +7 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Real-Time Systems Scheduling
- Strategy improvement for concurrent reachability and turn-based stochastic safety games
2012/12/20 by Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger · 1 citation
Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Logic, Reasoning, and Knowledge
- Supermartingale Certificates for Quantitative Omega-regular Verification and Control
2025/05/24 by Thomas A. Henzinger, Henzinger, Thomas A., Kaushik Mallik +5 · 5 citations
Computer Science · Decision Sciences · Engineering · #Advanced Statistical Process Monitoring #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Formal Verification of Continuous-Variable Quantum Programs
2026/07/20 by Stefanie Muroya, Thomas A. Henzinger
#quant-ph #cs.LO
- Algorithms for Equilibria in Concurrent Stopping Games
2026/07/27 by Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
#cs.GT #cs.MA