Thomas A. Henzinger

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 157

Top Venues

CoRR

CONCUR

CAV (1)

Publications

Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CONCUR (2024)
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD (2024)
Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik
Bidding Games with Charging. CoRR (2024)
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
History-Determinism vs Fair Simulation. CONCUR (2024)
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus
Overparametrization helps offline-to-online generalization of closed-loop control from pixels. ICRA (2024)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR (2024)
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash
History-Determinism vs Fair Simulation. CoRR (2024)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces and Security Lattices. CoRR (2024)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR (2024)
Samuel Pastva, Thomas A. Henzinger
Binary Decision Diagrams on Modern Hardware. FMCAD (2023)
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. CoRR (2023)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. ICALP (2023)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI (2023)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CONCUR (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness under Partial Observations. CoRR (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CoRR (2023)
Marek Chalupa, Thomas A. Henzinger
Monitoring Hyperproperties With Prefix Transducers. CoRR (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CAV (2) (2023)
Matin Ansaripour, Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) (2023)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. CoRR (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR (2023)
Van-Giang Trinh, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva
Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. 39 (Supplement-1) (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CoRR (2023)
Marek Chalupa, Thomas A. Henzinger
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) (2023)
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE (2023)
Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. CoRR (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness Under Partial Observations. RV (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. FoSSaCS (2023)
Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS (2023)
Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. IEEE Robotics Autom. Lett. 8 (3) (2023)
Marek Chalupa, Thomas A. Henzinger
Monitoring Hyperproperties with Prefix Transducers. RV (2023)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-deterministic Timed Automata. CoRR (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Runtime Monitoring of Dynamic Fairness Properties. FAccT (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CONCUR (2023)
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness. CoRR (2023)
Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Stabilizing Policies in Stochastic Control Systems. CoRR (2022)
Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR (2022)
Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI (2022)
Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. ATVA (2022)
Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke
History-Deterministic Timed Automata Are Not Determinizable. RP (2022)
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Tsun-Hsuan Wang, Thomas A. Henzinger, Daniela Rus
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap. CoRR (2022)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces. FASE (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Parametric Hybrid Automata from Time Series. CoRR (2022)
Mathias Lechner, Alexander Amini, Daniela Rus, Thomas A. Henzinger
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. CoRR (2022)
Guy Avni, Thomas A. Henzinger
An Updated Survey of Bidding Games on Graphs (Invited Talk). MFCS (2022)
Mathias Lechner, Ramin M. Hasani, Zahra Babaiee, Radu Grosu, Daniela Rus, Thomas A. Henzinger, Sepp Hochreiter
Entangled Residual Mappings. CoRR (2022)
Thomas A. Henzinger, Karoliina Lehtinen, Patrick Totzke
History-Deterministic Timed Automata. CONCUR (2022)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Abstract Monitors for Quantitative Specifications. RV (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavors of Sequential Information Flow. VMCAI (2022)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. CoRR (2021)
Fabian Muehlboeck, Thomas A. Henzinger
Differential Monitoring. RV (2021)
Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet
Long lived transients in gene regulation. Theor. Comput. Sci. 893 (2021)
Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
Adversarial Training is Not Ready for Robot Learning. CoRR (2021)
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Scalable Verification of Quantized Neural Networks. AAAI (2021)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the Unknown: Active Monitoring of Neural Networks. RV (2021)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. Log. Methods Comput. Sci. 17 (1) (2021)
Miriam García Soto, Thomas A. Henzinger, Christian Schilling
Synthesis of hybrid automata with affine dynamics from time-series data. HSCC (2021)
Thomas A. Henzinger, N. Ege Saraç
Quantitative and Approximate Monitoring. LICS (2021)
Thomas A. Henzinger, N. Ege Saraç
Quantitative and Approximate Monitoring. CoRR (2021)
Thomas A. Henzinger
Quantitative Monitoring of Software. VSTTE (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR (2021)
Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR (2021)
Mathias Lechner, Ramin M. Hasani, Radu Grosu, Daniela Rus, Thomas A. Henzinger
Adversarial Training is Not Ready for Robot Learning. ICRA (2021)
Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS (2021)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119 (2021)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavours of Sequential Information Flow. CoRR (2021)
Anna Lukina, Christian Schilling, Thomas A. Henzinger
Into the unknown: Active monitoring of neural networks. CoRR (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR (2020)
Thomas A. Henzinger, N. Ege Saraç
Monitorability Under Assumptions. RV (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. CoRR (2020)
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI (2020)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CSL (2020)
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
Inductive sequentialization of asynchronous programs. PLDI (2020)
Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger
Refinement for Structured Concurrent Programs. CAV (1) (2020)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-Flow Interfaces. CoRR (2020)
Guy Avni, Thomas A. Henzinger, Orna Kupferman
Dynamic resource allocation games. Theor. Comput. Sci. 807 (2020)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR (2020)
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Formal Methods with a Touch of Magic. FMCAD (2020)
Guy Avni, Thomas A. Henzinger
A Survey of Bidding Games on Graphs (Invited Paper). CONCUR (2020)
Mirco Giacobbe, Thomas A. Henzinger, Mathias Lechner
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) (2020)
Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic
Scalable Verification of Quantized Neural Networks (Technical Report). CoRR (2020)
Mathias Lechner, Ramin M. Hasani, Alexander Amini, Thomas A. Henzinger, Daniela Rus, Radu Grosu
Neural circuit policies enabling auditable autonomy. Nat. Mach. Intell. 2 (10) (2020)
Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) (2019)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. CONCUR (2019)
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Infinite-duration Bidding Games. J. ACM 66 (4) (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS (2019)
Thomas Ferrère, Thomas A. Henzinger, Bernhard Kragl
Monitoring Event Frequencies. CoRR (2019)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15 (3) (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR (2019)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR (2019)
Guy Avni, Thomas A. Henzinger, Dorde Zikelic
Bidding Mechanisms in Graph Games. MFCS (2019)
Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
Transient Memory in Gene Regulation. CMSB (2019)
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
Determinacy in Discrete-Bidding Infinite-Duration Games. CoRR (2019)

Thomas A. Henzinger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas A. Henzinger