Author Description

Login to generate an author description

Ask a Question About This Mathematician

All published works (179)

Action Title Date Authors
Resolving Nondeterminism with Randomness 2025-02-18 Thomas A. Henzinger Aditya Prakash K. S. Thejaswini
Finding equilibria: simpler for pessimists, simplest for optimists 2025-02-07 Léonard Brice Thomas A. Henzinger K. S. Thejaswini
Automating the Analysis of Quantitative Automata with QuAK 2025-01-27 Marek Chalupa Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç
Predictive Monitoring of Black-Box Dynamical Systems 2024-12-21 Thomas A. Henzinger Fabian Kresse Kaushik Mallik Emily Yu Đorđe Žikelić
Neural Control and Certificate Repair via Runtime Monitoring 2024-12-17 Emily Yu Đorđe Žikelić Thomas A. Henzinger
Fairness Shields: Safeguarding against Biased Decision Makers 2024-12-16 Filip Cano Thomas A. Henzinger Bettina Könighofer Konstantin Kueffner Kaushik Mallik
QuAK: Quantitative Automata Kit 2024-09-05 Marek Chalupa Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes 2024-07-15 Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç
Bidding Games with Charging 2024-07-08 Guy Avni Ehsan Kafshdar Goharshady Thomas A. Henzinger Kaushik Mallik
Information-flow Interfaces and Security Lattices 2024-06-20 Ezio Bartocci Thomas A. Henzinger Dejan Ničković Ana Oliveira da Costa
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks 2023-06-26 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger Daniela Rus
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees 2023-06-26 Đorđe Žikelić Mathias Lechner Thomas A. Henzinger Krishnendu Chatterjee
Runtime Monitoring of Dynamic Fairness Properties 2023-06-12 Thomas A. Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning 2023-01-31 Mathias Lechner Alexander Amini Daniela Rus Thomas A. Henzinger
Quantitative Safety and Liveness 2023-01-01 Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç
Hypernode Automata 2023-01-01 Ezio Bartocci Thomas A. Henzinger Dejan Ničković Ana Oliveira da Costa
Regular Methods for Operator Precedence Languages 2023-01-01 Thomas A. Henzinger Pavol Kebis Nicolas Mazzocchi N. Ege Saraç
Monitoring Algorithmic Fairness 2023-01-01 Thomas A. Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik
Safety and Liveness of Quantitative Automata 2023-01-01 Udi Boker Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç
Monitoring Hyperproperties With Prefix Transducers 2023-01-01 Marek Chalupa Thomas A. Henzinger
Monitoring Algorithmic Fairness under Partial Observations 2023-01-01 Thomas A. Henzinger Konstantin Kueffner Kaushik Mallik
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees 2023-01-01 Đorđe Žikelić Mathias Lechner Abhinav Verma Krishnendu Chatterjee Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales 2022-06-28 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger
Information-flow Interfaces 2022-01-01 Ezio Bartocci Thomas Ferrère Thomas A. Henzinger Dejan Ničković Ana Oliveira da Costa
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning 2022-01-01 Mathias Lechner Alexander Amini Daniela Rus Thomas A. Henzinger
Learning Stabilizing Policies in Stochastic Control Systems 2022-01-01 Đorđe Žikelić Mathias Lechner Krishnendu Chatterjee Thomas A. Henzinger
Entangled Residual Mappings 2022-01-01 Mathias Lechner Ramin Hasani Zahra Babaiee Radu Grosu Daniela Rus Thomas A. Henzinger Sepp Hochreiter
Synthesis of Parametric Hybrid Automata from Time Series 2022-01-01 Miriam García Soto Thomas A. Henzinger Christian Schilling
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap 2022-01-01 Mathias Lechner Ramin Hasani Alexander Amini Tsun-Hsuan Wang Thomas A. Henzinger Daniela Rus
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems 2022-01-01 Matin Ansaripour Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees 2022-01-01 Đorđe Žikelić Mathias Lechner Thomas A. Henzinger Krishnendu Chatterjee
Synthesis of Parametric Hybrid Automata from Time Series 2022-01-01 Miriam García Soto Thomas A. Henzinger Christian Schilling
History-Deterministic Timed Automata 2022-01-01 Thomas A. Henzinger Karoliina Lehtinen Patrick Totzke
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks 2022-01-01 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger Daniela Rus
+
Infinite Time Horizon Safety of Bayesian Neural Networks. 2021-11-04 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger
+
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. 2021-07-18 Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus Thomas A. Henzinger Scott A. Smolka Radu Grosu
Quantitative and Approximate Monitoring 2021-06-29 Thomas A. Henzinger N. Ege Saraç
Adversarial Training is Not Ready for Robot Learning 2021-05-30 Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus Thomas A. Henzinger
Quantitative and Approximate Monitoring. 2021-05-18 Thomas A. Henzinger N. Ege Saraç
+
Flavours of Sequential Information Flow. 2021-05-05 Ezio Bartocci Thomas Ferrère Thomas A. Henzinger Dejan Ničković Ana Oliveira da Costa
Synthesis of hybrid automata with affine dynamics from time-series data 2021-05-03 Miriam García Soto Thomas A. Henzinger Christian Schilling
+
Adversarial Training is Not Ready for Robot Learning 2021-03-15 Mathias Lechner Ramin Hasani Radu Grosu Daniela Rus Thomas A. Henzinger
Bidding mechanisms in graph games 2021-03-05 Guy Avni Thomas A. Henzinger Đorđe Žikelić
Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data 2021-02-25 Miriam García Soto Thomas A. Henzinger Christian Schilling
Into the Unknown: Active Monitoring of Neural Networks 2021-01-01 Anna Lukina Christian Schilling Thomas A. Henzinger
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales 2021-01-01 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger
Infinite Time Horizon Safety of Bayesian Neural Networks 2021-01-01 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger
GoTube: Scalable Stochastic Verification of Continuous-Depth Models 2021-01-01 Sophie Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus Thomas A. Henzinger Scott A. Smolka Radu Grosu
Quantitative and Approximate Monitoring 2021-01-01 Thomas A. Henzinger N. Ege Saraç
Flavours of Sequential Information Flow 2021-01-01 Ezio Bartocci Thomas Ferrère Thomas A. Henzinger Dejan Ničković Ana Oliveira da Costa

Commonly Cited References

Action Title Date Authors # of times referenced
Expressiveness and Closure Properties for Quantitative Languages 2010-08-30 Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger 9
Richman games 1995-02-09 Andrew J. Lazarus Daniel E. Loeb James Propp Daniel H. Ullman 7
Bidding games and efficient allocations 2018-08-24 Reshef Meir Gil Kalai Moshe Tennenholtz 6
Tug-of-war and the infinity Laplacian 2008-07-28 Yuval Peres Oded Schramm Scott Sheffield⋆ David B. Wilson 6
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 2017-01-01 Guy Katz Clark Barrett David L. Dill Kyle D. Julian Mykel J. Kochenderfer 6
+
A characterization of the minimum cycle mean in a digraph 1978-01-01 Richard M. Karp 6
Expressiveness and Closure Properties for Quantitative Languages 2009-08-01 Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger 5
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models 2018-01-01 Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin Jonathan Uesato Relja Arandjelović Timothy Mann Pushmeet Kohli 5
Nested Weighted Automata 2015-07-01 Krishnendu Chatterjee Thomas A. Henzinger Jan Otop 5
+
The determinacy of Blackwell games 1998-12-01 Donald A. Martin 5
Mean-Payoff Automaton Expressions 2010-01-01 Krishnendu Chatterjee Laurent Doyen Herbert Edelsbrunner Thomas A. Henzinger Philippe Rannou 5
+
Exact stochastic simulation of coupled chemical reactions 1977-12-01 Daniel T. Gillespie 4
Reachability Games on Extended Vector Addition Systems with States 2010-01-01 Tomǎš Brázdil Petr Jančar Antonı́n Kučera 4
Infinite-Duration Poorman-Bidding Games 2018-01-01 Guy Avni Thomas A. Henzinger Rasmus Ibsen-Jensen 4
Quantitative Languages Defined by Functional Automata 2012-01-01 Emmanuel Filiot Raffaella Gentilini Jean-François Raskin 4
+
Inexact Uniformization Method for Computing Transient Distributions of Markov Chains 2007-01-01 Roger B. Sidje Kevin Burrage Shev MacNamara 4
Deep Residual Learning for Image Recognition 2016-06-01 Kaiming He Xiangyu Zhang Shaoqing Ren Jian Sun 4
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion 2012-06-20 Ian A. Kash Eric J. Friedman Joseph Y. Halpern 4
Introduction to the Numerical Solution of Markov Chains 1995-12-31 William J. Stewart 4
Computing semi-algebraic invariants for polynomial dynamical systems 2011-10-09 Jiang Liu Naijun Zhan Hengjun Zhao 3
Mean-Payoff Pushdown Games 2012-06-01 Krishnendu Chatterjee Yaron Velner 3
Provable defenses against adversarial examples via the convex outer adversarial polytope 2017-01-01 Eric Wong J. Zico Kolter 3
Towards Deep Learning Models Resistant to Adversarial Attacks 2017-01-01 Aleksander Mądry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu 3
+
Model-based versus Model-free Deep Reinforcement Learning for Autonomous Racing Cars. 2021-03-08 Axel Brunnbauer Luigi Berducci Andreas Brandstätter Mathias Lechner Ramin Hasani Daniela Rus Radu Grosu 3
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata 2012-07-02 Peter Bulychev Alexandre David Kim G. Larsen Marius Mikučionis Danny Bøgsted Poulsen Axel Legay Zheng Wang 3
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales 2022-06-28 Mathias Lechner Đorđe Žikelić Krishnendu Chatterjee Thomas A. Henzinger 3
+
A nullstellensatz and a positivstellensatz in semialgebraic geometry 1974-06-01 Gilbert Stengle 3
Robustness May Be at Odds with Accuracy 2018-01-01 Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Mądry 3
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks 2017-01-01 Rüdiger Ehlers 3
Exact and Approximate Determinization of Discounted-Sum Automata 2014-02-13 Udi Boker Thomas A. Henzinger 3
Infinite-duration Bidding Games 2019-07-16 Guy Avni Thomas A. Henzinger Ventsislav Chonev 3
Neural Lyapunov Control 2020-01-01 Ya-Chien Chang Nima Roohi Sicun Gao 3
+
Stability of Time-Delay Systems 2003-01-01 Keqin Gu Vladimir L. Kharitonov Jie Chen 3
On Subgame Perfection in Quantitative Reachability Games 2012-05-29 Thomas Brihaye Véronique Bruyère Julie De Pril Hugo Gimbert 3
All-Pay Bidding Games on Graphs 2020-04-03 Guy Avni Rasmus Ibsen-Jensen Josef Tkadlec 3
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks 2018-01-01 Jonathan Uesato Brendan O’Donoghue Aäron van den Oord Pushmeet Kohli 3
+
Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression 2003-06-01 Giancarlo Ferrari‐Trecate Marco Muselli 3
+
An exact and efficient algorithm for segmentation of ARX models 2016-07-01 Necmiye Özay 3
Concrete Problems in AI Safety 2016-01-01 Dario Amodei Chris Olah Jacob Steinhardt Paul F. Christiano John Schulman Dan Mané 3
Randomness for Free 2010-01-01 Krishnendu Chatterjee Laurent Doyen Hugo Gimbert Thomas A. Henzinger 3
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes 2015-07-01 Krishnendu Chatterjee Zuzana Komárková Jan Křetínský 2
Aspect-Oriented Linearizability Proofs 2013-01-01 Thomas A. Henzinger Ali Sezgin Viktor Vafeiadis 2
Flat combining and the synchronization-parallelism tradeoff 2010-06-13 Danny Hendler Itai Incze Nir Shavit Moran Tzafrir 2
+
The Odds of Staying on Budget 2015-01-01 Christoph Haase Stefan Kiefer 2
Measuring and Synthesizing Systems in Probabilistic Environments 2015-03-02 Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh 2
+
Exact and ordinary lumpability in finite Markov chains 1994-03-01 Peter Buchholz 2
Qualitative Concurrent Stochastic Games with Imperfect Information 2009-01-01 Vincent Gripon Olivier Serre 2
ImageNet Large Scale Visual Recognition Challenge 2015-04-10 Olga Russakovsky Jia Deng Hao Su Jonathan Krause Sanjeev Satheesh Sean Ma Zhiheng Huang Andrej Karpathy Aditya Khosla Michael S. Bernstein 2
+
Limit theorems for sequences of jump Markov processes approximating ordinary differential processes 1971-06-01 Thomas G. Kurtz 2
Markov Decision Processes with Multiple Long-Run Average Objectives 2007-01-01 Krishnendu Chatterjee 2