![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Thomas A. Henzinger
Person information
- affiliation: Institute of Science and Technology Austria
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1991
- [b1]Thomas A. Henzinger:
The temporal specification and verification of real-time systems. Stanford University, USA, 1991
Journal Articles
- 2025
- [j105]Marek Chalupa
, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for best-effort third-party monitoring. Sci. Comput. Program. 240: 103212 (2025) - 2024
- [j104]Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke:
History-deterministic Timed Automata. Log. Methods Comput. Sci. 20(4) (2024) - 2023
- [j103]Van-Giang Trinh
, Belaid Benhamou, Thomas A. Henzinger, Samuel Pastva
:
Trap spaces of multi-valued networks: definition, computation, and applications. Bioinform. 39(Supplement-1): 513-522 (2023) - [j102]Mathias Lechner
, Alexander Amini
, Daniela Rus
, Thomas A. Henzinger
:
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning. IEEE Robotics Autom. Lett. 8(3): 1595-1602 (2023) - [j101]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): 575-592 (2023) - 2021
- [j100]Guy Avni, Thomas A. Henzinger, Dorde Zikelic:
Bidding mechanisms in graph games. J. Comput. Syst. Sci. 119: 133-144 (2021) - [j99]Milad Aghajohari, Guy Avni, Thomas A. Henzinger:
Determinacy in Discrete-Bidding Infinite-Duration Games. Log. Methods Comput. Sci. 17(1) (2021) - [j98]Tatjana Petrov, Claudia Igler
, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet:
Long lived transients in gene regulation. Theor. Comput. Sci. 893: 1-16 (2021) - 2020
- [j97]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): 642-652 (2020) - [j96]Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic resource allocation games. Theor. Comput. Sci. 807: 42-55 (2020) - 2019
- [j95]Guy Avni, Thomas A. Henzinger, Ventsislav Chonev:
Infinite-duration Bidding Games. J. ACM 66(4): 31:1-31:29 (2019) - [j94]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15(3) (2019) - 2018
- [j93]Albert Benveniste, Benoît Caillaud
, Dejan Nickovic
, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - 2017
- [j92]Mirco Giacobbe
, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão
, Tatjana Petrov
:
Model checking the evolution of gene regulatory networks. Acta Informatica 54(8): 765-787 (2017) - [j91]Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna
, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
:
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods Syst. Des. 50(2-3): 97-139 (2017) - [j90]Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher
:
Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods Syst. Des. 51(2): 267-269 (2017) - [j89]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
, Yaron Velner:
Quantitative fair simulation games. Inf. Comput. 254: 143-166 (2017) - [j88]Krishnendu Chatterjee
, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop
:
Edit Distance for Pushdown Automata. Log. Methods Comput. Sci. 13(3) (2017) - [j87]Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
:
Faster Statistical Model Checking for Unbounded Temporal Properties. ACM Trans. Comput. Log. 18(2): 12:1-12:25 (2017) - [j86]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Nested Weighted Automata. ACM Trans. Comput. Log. 18(4): 31:1-31:44 (2017) - 2016
- [j85]Christian Schilling
, Sergiy Bogomolov
, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess:
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149: 15-25 (2016) - [j84]Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi:
Viewpoints on "Logic activities in Europe", twenty years later. Bull. EATCS 118 (2016) - 2015
- [j83]Thomas A. Henzinger, Jean-François Raskin:
The equivalence problem for finite automata: technical perspective. Commun. ACM 58(2): 86 (2015) - [j82]Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
:
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11(1) (2015) - [j81]Yaron Velner, Krishnendu Chatterjee
, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich
, Jean-François Raskin
:
The complexity of multi-mean-payoff and multi-energy games. Inf. Comput. 241: 177-196 (2015) - [j80]Krishnendu Chatterjee
, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger:
Randomness for free. Inf. Comput. 245: 3-16 (2015) - [j79]Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
Measuring and Synthesizing Systems in Probabilistic Environments. J. ACM 62(1): 9:1-9:34 (2015) - [j78]Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi:
Theory in practice for system design and verification. ACM SIGLOG News 2(1): 46-51 (2015) - [j77]Ashutosh Gupta, Thomas A. Henzinger:
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology. ACM Trans. Model. Comput. Simul. 25(2): 7:1-7:2 (2015) - 2014
- [j76]Roderick Bloem
, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer:
Synthesizing robust systems. Acta Informatica 51(3-4): 193-220 (2014) - [j75]Udi Boker, Thomas A. Henzinger:
Exact and Approximate Determinization of Discounted-Sum Automata. Log. Methods Comput. Sci. 10(1) (2014) - [j74]Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan:
Abstractions from proofs. ACM SIGPLAN Notices 49(4S): 79-91 (2014) - [j73]Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna
:
Interface simulation distances. Theor. Comput. Sci. 560: 348-363 (2014) - [j72]Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman:
Temporal Specifications with Accumulative Values. ACM Trans. Comput. Log. 15(4): 27:1-27:25 (2014) - 2013
- [j71]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
A survey of partial-observation stochastic parity games. Formal Methods Syst. Des. 43(2): 268-284 (2013) - [j70]Thomas A. Henzinger:
Quantitative reactive modeling and verification. Comput. Sci. Res. Dev. 28(4): 331-344 (2013) - [j69]Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. 79(5): 640-657 (2013) - [j68]Yashdeep Godhal, Krishnendu Chatterjee
, Thomas A. Henzinger:
Synthesis of AMBA AHB from formal specification: a case study. Int. J. Softw. Tools Technol. Transf. 15(5-6): 585-601 (2013) - [j67]Thomas A. Henzinger, Maria Mateescu:
The Propagation Approach for Computing Biochemical Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 10(2): 310-322 (2013) - 2012
- [j66]Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska:
2011 CAV award announcement. Formal Methods Syst. Des. 41(1): 1-2 (2012) - [j65]Krishnendu Chatterjee
, Thomas A. Henzinger:
A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2): 394-413 (2012) - [j64]Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
:
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012) - [j63]Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
:
Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012) - [j62]Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov
:
Lumpability abstractions of rule-based systems. Theor. Comput. Sci. 431: 137-164 (2012) - 2011
- [j61]Jasmin Fisher
, David Harel, Thomas A. Henzinger:
Biology as reactivity. Commun. ACM 54(10): 72-82 (2011) - [j60]Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
:
Timed Parity Games: Complexity and Robustness. Log. Methods Comput. Sci. 7(4) (2011) - [j59]Rachid Guerraoui
, Thomas A. Henzinger, Vasu Singh:
Verification of STM on relaxed memory models. Formal Methods Syst. Des. 39(3): 297-331 (2011) - [j58]Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf:
Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011) - [j57]Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf:
Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412(21): 2128-2141 (2011) - [j56]Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28:1-28:51 (2011) - [j55]Stavros Tripakis
, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011) - 2010
- [j54]Verena Wolf, Rushil Goel, Maria Mateescu, Thomas A. Henzinger:
Solving the chemical master equation using sliding windows. BMC Syst. Biol. 4: 42 (2010) - [j53]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Expressiveness and Closure Properties for Quantitative Languages. Log. Methods Comput. Sci. 6(3) (2010) - [j52]Rachid Guerraoui
, Thomas A. Henzinger, Vasu Singh:
Model checking transactional memories. Distributed Comput. 22(3): 129-145 (2010) - [j51]Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
:
Strategy logic. Inf. Comput. 208(6): 677-693 (2010) - [j50]Dietmar Berwanger
, Krishnendu Chatterjee
, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger:
Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010) - [j49]Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Quantitative languages. ACM Trans. Comput. Log. 11(4): 23:1-23:38 (2010) - 2009
- [j48]Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi:
The 2008 CAV Award citation. Formal Methods Syst. Des. 35(1): 4-5 (2009) - [j47]Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn:
Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11(1): 1:1-1:27 (2009) - 2008
- [j46]Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin:
Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008) - [j45]Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008) - [j44]Krishnendu Chatterjee, Thomas A. Henzinger:
Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008) - 2007
- [j43]Marc A. Schaub, Thomas A. Henzinger, Jasmin Fisher
:
Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Syst. Biol. 1: 4 (2007) - [j42]Thomas A. Henzinger, Joseph Sifakis:
The Discipline of Embedded Systems Design. Computer 40(10): 32-40 (2007) - [j41]Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
Algorithms for Omega-Regular Games with Imperfect Information. Log. Methods Comput. Sci. 3(3) (2007) - [j40]Jasmin Fisher
, Nir Piterman
, Alex Hajnal
, Thomas A. Henzinger:
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Comput. Biol. 3(5) (2007) - [j39]Dirk Beyer
, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar:
The software model checker Blast. Int. J. Softw. Tools Technol. Transf. 9(5-6): 505-525 (2007) - [j38]Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007) - [j37]Thomas A. Henzinger, Christoph M. Kirsch:
The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): 33 (2007) - 2006
- [j36]Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar:
On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006) - [j35]Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
:
Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006) - 2005
- [j34]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005) - [j33]Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005) - 2004
- [j32]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004) - 2003
- [j31]Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods Syst. Des. 23(3): 303-327 (2003) - [j30]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch:
Giotto: a time-triggered language for embedded programming. Proc. IEEE 91(1): 84-99 (2003) - 2002
- [j29]Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani:
Fair Simulation. Inf. Comput. 173(1): 64-81 (2002) - [j28]Rajeev Alur, Thomas A. Henzinger, Orna Kupferman:
Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002) - [j27]Pierre-Yves Schobbens
, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002) - [j26]Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002) - 2001
- [j25]Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. 18(2): 97-116 (2001) - [j24]Rajeev Alur, Thomas A. Henzinger:
Introduction. Inf. Comput. 164(2): 233 (2001) - 2000
- [j23]Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas
:
Discrete abstractions of hybrid systems. Proc. IEEE 88(7): 971-984 (2000) - [j22]Thomas A. Henzinger:
New directions in computer-aided verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 56-57 (2000) - 1999
- [j21]Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 14(3): 235 (1999) - [j20]Rajeev Alur, Thomas A. Henzinger:
Introduction. Formal Methods Syst. Des. 15(1): 5 (1999) - [j19]Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. Formal Methods Syst. Des. 15(1): 7-48 (1999) - [j18]Rajeev Alur, Limor Fix, Thomas A. Henzinger:
Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211(1-2): 253-273 (1999) - [j17]Thomas A. Henzinger, Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata. Theor. Comput. Sci. 221(1-2): 369-392 (1999) - 1998
- [j16]Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya:
What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57(1): 94-124 (1998) - [j15]Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43(4): 540-554 (1998) - [j14]Rajeev Alur, Thomas A. Henzinger:
Finitary Fairness. ACM Trans. Program. Lang. Syst. 20(6): 1171-1194 (1998) - 1997
- [j13]Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. Formal Methods Syst. Des. 11(2): 137-155 (1997) - [j12]Rajeev Alur, Thomas A. Henzinger:
Real-Time System = Discrete System + Clock Variables. Int. J. Softw. Tools Technol. Transf. 1(1-2): 86-109 (1997) - [j11]Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1(1-2): 110-122 (1997) - 1996
- [j10]Thomas A. Henzinger:
Some Myths About Formal Verification. ACM Comput. Surv. 28(4es): 119 (1996) - [j9]Rajeev Alur, Tomás Feder, Thomas A. Henzinger:
The Benefits of Relaxing Punctuality. J. ACM 43(1): 116-146 (1996) - [j8]Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996) - 1995
- [j7]Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
:
The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995) - 1994
- [j6]Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
:
Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994) - [j5]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994) - [j4]Rajeev Alur, Thomas A. Henzinger:
A Really Temporal Logic. J. ACM 41(1): 181-204 (1994) - 1993
- [j3]Rajeev Alur, Thomas A. Henzinger:
Real-Time Logics: Complexity and Expressiveness. Inf. Comput. 104(1): 35-77 (1993) - [j2]Thomas A. Henzinger:
Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50). SIGACT News 24(1): 27-28 (1993) - 1992
- [j1]Thomas A. Henzinger:
Sooner is Safer Than Later. Inf. Process. Lett. 43(3): 135-141 (1992)
Conference and Workshop Papers
- 2024
- [c376]Guy Avni, Ehsan Kafshdar Goharshady, Thomas A. Henzinger, Kaushik Mallik:
Bidding Games with Charging. CONCUR 2024: 8:1-8:17 - [c375]Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen, Aditya Prakash:
History-Determinism vs Fair Simulation. CONCUR 2024: 12:1-12:16 - [c374]Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR 2024: 29:1-29:20 - [c373]Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik:
Abstraction-Based Decision Making for Statistical Properties (Invited Talk). FSCD 2024: 2:1-2:17 - [c372]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: 2774-2782 - [c371]Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa:
Monitoring Extended Hypernode Logic. IFM 2024: 151-171 - [c370]Marek Chalupa
, Thomas A. Henzinger
, Nicolas Mazzocchi
, N. Ege Saraç:
QuAK: Quantitative Automata Kit. ISoLA (4) 2024: 3-20 - 2023
- [c369]Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI 2023: 11926-11935 - [c368]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: 14964-14973 - [c367]Matin Ansaripour, Krishnendu Chatterjee
, Thomas A. Henzinger
, Mathias Lechner
, Dorde Zikelic
:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) 2023: 357-379 - [c366]Thomas A. Henzinger
, Mahyar Karimi
, Konstantin Kueffner
, Kaushik Mallik
:
Monitoring Algorithmic Fairness. CAV (2) 2023: 358-382 - [c365]Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç:
Safety and Liveness of Quantitative Automata. CONCUR 2023: 17:1-17:18 - [c364]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic
, Ana Oliveira da Costa:
Hypernode Automata. CONCUR 2023: 21:1-21:16 - [c363]Marek Chalupa
, Fabian Muehlboeck
, Stefanie Muroya Lei
, Thomas A. Henzinger
:
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE 2023: 260-281 - [c362]Thomas A. Henzinger
, Mahyar Karimi
, Konstantin Kueffner
, Kaushik Mallik
:
Runtime Monitoring of Dynamic Fairness Properties. FAccT 2023: 604-614 - [c361]Samuel Pastva, Thomas A. Henzinger:
Binary Decision Diagrams on Modern Hardware. FMCAD 2023: 122-131 - [c360]