T. Henzinger

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
T A Henzinger, Thomas A Henzinger, Thomas A. Henzinger, T.a. Henzinger, Thomas Henzinger, T Henzinger, T. A. Henzinger, Tom Henzinger, T. Henzinger
Publication record
616 papers · 50,600 citations · H-index 104

PAPERS

Dicey Games: Shared Sources of Randomness in Distributed Systems
20261 citationsauthor #2
Information-Flow Interfaces and Security Lattices
20260 citationsauthor #2
Randomise Alone, Reach as a Team
20260 citationsauthor #2
Quantitative Monitoring of Signal First-Order Logic
20260 citationsauthor #2
Monitoring of Static Fairness
20250 citationsauthor #1
Hardware-optimal quantum algorithms
20252 citationsauthor #3
Monitoring Hypernode Logic Over Infinite Domains
20250 citationsauthor #2
Flavors of Quantifiers in Hyperlogics
20250 citationsauthor #2
Logic Gate Neural Networks are Good for Verification
20253 citationsauthor #4
Fairness Shields: Safeguarding against Biased Decision Makers
20250 citationsauthor #2
Finding equilibria: simpler for pessimists, simplest for optimists
20252 citationsauthor #2
Monitoring Robustness and Individual Fairness
20251 citationsauthor #2
Quantitative Language Automata
20250 citationsauthor #1
Automating the Analysis of Quantitative Automata with QuAK
20251 citationsauthor #2
Algorithmic Fairness: A Runtime Perspective
20251 citationsauthor #2
Certificates in AI: Learn but Verify
20251 citationsauthor #2
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
20258 citationsauthor #1
Formal Verification of Neural Certificates Done Dynamically
20250 citationsauthor #1
Resolving Nondeterminism with Randomness
20252 citationsauthor #1
Alignment Monitoring
20250 citationsauthor #1
Monitoring Hyperproperties over Observed and Constructed Traces
20250 citationsauthor #2
Privacy-Preserving Runtime Verification
20250 citationsauthor #1
Predictive Monitoring of Black-Box Dynamical Systems
20250 citationsauthor #1
Bidding Games with Charging
20243 citationsauthor #3
Information-flow Interfaces and Security Lattices
20240 citationsauthor #2
Vamos: Middleware for best-effort third-party monitoring
20240 citationsauthor #4
Predictive Monitoring of Black-Box Dynamical Systems
20242 citationsauthor #1
QuAK: Quantitative Automata Kit
20241 citationsauthor #2
History-Determinism vs Fair Simulation
20241 citationsauthor #2
Monitoring Extended Hypernode Logic
20242 citationsauthor #2
Strategic Dominance: A New Preorder for Nondeterministic Processes
20241 citationsauthor #1
Abstraction-Based Decision Making for Statistical Properties (Invited Talk)
20242 citationsauthor #2
Overparametrization helps offline-to-online generalization of closed-loop control from pixels
20240 citationsauthor #5
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024
20240 citationsauthor #3
Fairness Shields: Safeguarding against Biased Decision Makers
20243 citationsauthor #2
Neural Control and Certificate Repair via Runtime Monitoring
20244 citationsauthor #3
Runtime Monitoring of Dynamic Fairness Properties
202322 citationsauthor #1
Trap spaces of multi-valued networks: definition, computation, and applications
20234 citationsauthor #3
History-Deterministic Timed Automata
202311 citationsauthor #1
Safety and Liveness of Quantitative Properties and Automata
20232 citationsauthor #2
Binary Decision Diagrams on Modern Hardware
20232 citationsauthor #2
Vamos: Middleware for Best-Effort Third-Party Monitoring
20233 citationsauthor #4
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution)
20238 citationsauthor #2
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems
202317 citationsauthor #2
Monitoring Algorithmic Fairness under Partial Observations
20236 citationsauthor #1
Quantitative Safety and Liveness
20239 citationsauthor #1
Games on Graphs: From Logic and Automata to Algorithms
20234 citationsauthor #12
Repository of logically consistent real-world Boolean network models
202319 citationsauthor #5
Monitoring Algorithmic Fairness
202312 citationsauthor #1
Into the unknown: active monitoring of neural networks (extended version)
20231 citationsauthor #4
Monitoring Hyperproperties With Prefix Transducers
20235 citationsauthor #2
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
202321 citationsauthor #5
GoTube: Scalable Statistical Verification of Continuous-Depth Models
202213 citationsauthor #5
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
202212 citationsauthor #4
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
20228 citationsauthor #3
An Updated Survey of Bidding Games on Graphs (Invited Talk)
20222 citationsauthor #2
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
202243 citationsauthor #3
Flavors of Sequential Information Flow
202210 citationsauthor #3
Synthesis of Parametric Hybrid Automata from Time Series
20223 citationsauthor #2
Entangled Residual Mappings
20225 citationsauthor #6
Abstract Monitors for Quantitative Specifications
20226 citationsauthor #1
History-Deterministic Timed Automata Are Not Determinizable
20225 citationsauthor #2
Learning Control Policies for Region Stabilization in Stochastic Systems
20221 citationsauthor #5
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
20228 citationsauthor #5
Learning Stabilizing Policies in Stochastic Control Systems
20224 citationsauthor #4
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
20224 citationsauthor #4
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
202117 citationsauthor #5
Differential Monitoring
20211 citationsauthor #2
Infinite Time Horizon Safety of Bayesian Neural Networks
202118 citationsauthor #4
Quantitative and Approximate Monitoring
202113 citationsauthor #1
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
202143 citationsauthor #4
Quantitative Monitoring of Software
20211 citationsauthor #1
Adversarial Training is Not Ready for Robot Learning
202134 citationsauthor #5
Synthesis of hybrid automata with affine dynamics from time-series data
202112 citationsauthor #2
Long lived transients in gene regulation
20213 citationsauthor #2
Monitorability Under Assumptions
202022 citationsauthor #1
A Survey of Bidding Games on Graphs
20207 citationsauthor #2
How Many Bits Does it Take to Quantize Your Neural Network?
202031 citationsauthor #2
Neural circuit policies enabling auditable autonomy
2020255 citationsauthor #4
Quantitative Simulation Games
20206 citationsauthor #2
Formal Methods with a Touch of Magic
202017 citationsauthor #3
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States
20200 citationsauthor #2
Into the unknown: Active monitoring of neural networks
202029 citationsauthor #3
Information-flow interfaces
20202 citationsauthor #3
Inductive sequentialization of asynchronous programs
202036 citationsauthor #3
Refinement for Structured Concurrent Programs
202015 citationsauthor #3
Scalable Verification of Quantized Neural Networks (Technical Report)
202042 citationsauthor #1
A Survey of Bidding Games on Graphs (Invited Paper)
20202 citationsauthor #2
Compositional Speci cations for IOCO Testing : 13
20193 citationsauthor #2
Formal Aspects of Computing
20195 citationsauthor #2
Outside the Box: Abstraction-Based Monitoring of Neural Networks
201966 citationsauthor #1
Long-Run Average Behavior of Vector Addition Systems with States
20191 citationsauthor #2
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
20191 citationsauthor #4
Run-Time Optimization for Learned Controllers Through Quantitative Games
201945 citationsauthor #4
Transient Memory in Gene Regulation
20194 citationsauthor #2
Membership-Based Synthesis of Linear Hybrid Automata
201916 citationsauthor #2
Designing Worm-inspired Neural Networks for Interpretable Robotic Control
201957 citationsauthor #4
Monitoring Event Frequencies
20198 citationsauthor #2
Bidding Games on Markov Decision Processes
20194 citationsauthor #2
Bidding Mechanisms in Graph Games
201918 citationsauthor #2

TIMELINE

1985 0 citations

1989 753 citations

1990 775 citations

1991 2,025 citations

1992 2,299 citations

1993 521 citations

1994 778 citations

1995 6,313 citations

1996 4,414 citations

1997 2,865 citations

1998 3,500 citations

1999 597 citations

2000 1,765 citations

2001 3,518 citations

2002 2,135 citations

2003 1,684 citations

2004 1,577 citations

2005 1,489 citations

2006 1,838 citations

2007 3,042 citations

2008 1,152 citations

2009 995 citations

2010 1,060 citations

2011 621 citations

2012 508 citations

2013 496 citations

2014 977 citations

2015 372 citations

2016 300 citations

2017 110 citations

2018 973 citations

2019 245 citations

2020 464 citations

2021 142 citations

2022 124 citations

2023 146 citations

2024 19 citations

2025 21 citations

2026 1 citations

Unknown 5 citations

T. Henzinger

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT