Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Emily Yu

K. S. Thejaswini

Stefanie Muroya Lei

Ana Oliveira da Costa

Marek Chalupa

Konstantin Kueffner

Mahyar Karimi

Kaushik Mallik

Thomas Henzinger

N. Ege Saraç

Nicolas Mazzocchi

Miriam García Soto

Fabian Mühlböck

Mathias Lechner

Thomas Ferrère

Udi Boker

Duc Hiep Chu

Bernhard Kragl

Joost Katoen

Mirco Giacobbe

Anmol Tomar

Ashutosh Gupta

Christian Schilling

Singh, Anmol

Przemyslaw Daca

Tatjana Petrov

Jessica Davies

Adrian Elgyütt

Jan Kretinsky

Ali Sezgin

Damien Zufferey

Hui Kong

Abhinav Verma

Pavol Cerny

Samuel Pastva

Oliveira da Costa, Ana

Halalai, Raluca

Dejan Nickovic

Andrey Kupriyanov

Thomas Wies

Luka Zeleznik

Jan Otop

Thorsten Tarrach

Jakob Ruess

Roopsha Samanta

Vasu Singh

Anna Lukina

Guy Avni

Sergiy Bogomolov

Arjun Radhakrishna

Cezara Dragoi



401 Publications

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version] View | Files available | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13263 | OA
Trap spaces of multi-valued networks: Definition, computation, and applications
V.G. Trinh, B. Benhamou, T.A. Henzinger, S. Pastva, Bioinformatics 39 (2023) i513–i522.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14076 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14242 | OA
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
Hypernode automata
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14518 | OA
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14559 | OA
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12147 | OA
Closed-form continuous-time neural networks
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10891
Quantitative monitoring of software
T.A. Henzinger, in:, Software Verification, Springer Nature, 2022, pp. 3–6.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed