Full name Familienname, Vorname
Henzinger, Thomas A.

Results 1-13 of 13 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira Flavors of Sequential Information FlowKonferenzbeitrag Inproceedings2022
2Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu ; Rus, Daniela ; Henzinger, Thomas A. Adversarial Training is Not Ready for Robot LearningKonferenzbeitrag Inproceedings 2021
3Lechner, Mathias ; Hasani, Ramin ; Amini, Alexander ; Henzinger, Thomas A. ; Rus, Daniela ; Grosu, Radu Neural Circuit Policies Enabling Auditable AutonomyArtikel Article 2020
421_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer Formal Methods with a Touch of MagicKonferenzbeitrag Inproceedings 2020
5Kong, Hui ; Bartocci, Ezio ; Jiang, Yu ; Henzinger, Thomas A. ; André, Étienne ; Stoelinga, Mariëlle Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with UncertaintyKonferenzbeitrag Inproceedings2019
6Lechner, Mathias ; Hasani, Ramin ; Zimmer, Manuel ; Henzinger, Thomas A. ; Grosu, Radu Designing Worm-inspired Neural Networks for Interpretable Robotic ControlKonferenzbeitrag Inproceedings 2019
7Kong, Hui ; Bartocci, Ezio ; Henzinger, Thomas A. ; Chockler, Hana ; Weissenbacher, Georg Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier TubesKonferenzbeitrag Inproceedings 2018
8Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg Preface of the Special Issue in Memoriam Helmut VeithArtikel Article2017
9Kong, Hui ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Henzinger, Thomas A. ; Jiang, Yu ; Schilling, Christian Discrete Abstraction of Multiaffine SystemsKonferenzbeitrag Inproceedings 2016
10Cerny, Pavol ; Henzinger, Thomas A. ; Kovacs, Laura ; Radhakrishna, Arjun ; Zwirchmayr, Jakob ; Vitek, Jan Segment Abstraction for Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2015
11Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien A Logic-Based Framework for Verifying Consensus AlgorithmsKonferenzbeitrag Inproceedings 2014
12Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ABC: Algebraic Bound Computation for LoopsKonferenzbeitrag Inproceedings2010
13Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey Aligators for Arrays (Tool Paper)Konferenzbeitrag Inproceedings2010