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.

Anton Varonka

Konstantin Kueffner

Stefanie Muroya Lei

Leonard Brice

Filip Cano Cordoba

Thomas Henzinger

Mahyar Karimi

Ana Oliveira da Costa

Pavol Kebis

Fabian Kresse

Thomas Wies

Thorsten Tarrach

Sergiy Bogomolov

Roopsha Samanta

Oliveira da Costa, Ana

Fabian Mühlböck

Ashutosh Gupta

Abhinav Verma

Mathias Lechner

Joost Katoen

Udi Boker

Pavol Cerny

Jan Kretinsky

Luka Zeleznik

Jan Otop

Duc Hiep Chu

Samuel Pastva

Singh, Anmol

Nicolas Mazzocchi

Jessica Davies

Dejan Nickovic

Anna Lukina

Miriam García Soto

Ali Sezgin

Vasu Singh

Damien Zufferey

Adrian Elgyütt

Tatjana Petrov

Hui Kong

Halalai, Raluca

Andrey Kupriyanov

N. Ege Saraç

Christian Schilling

Bernhard Kragl

Emily Yu

Cezara Dragoi

Kaushik Mallik

Jakob Ruess

Arjun Radhakrishna

Anmol Tomar

Guy Avni

Mirco Giacobbe

Marek Chalupa

K. S. Thejaswini

Thomas Ferrère

Przemyslaw Daca



436 Publications

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: 13234 | OA
Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
[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 | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14758 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14830 | OA
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14920 | OA
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version] View | Files available | DOI | arXiv
 
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.)
 
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 12010 | OA
Latent imagination facilitates zero-shot transfer in autonomous racing
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | 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 | Conference Paper | IST-REx-ID: 12171 | OA
Synthesis of parametric hybrid automata from time series
M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, 20th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2022, pp. 337–353.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12175 | OA
History-deterministic timed automata are not determinizable
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, in:, 16th International Conference on Reachability Problems, Springer Nature, 2022, pp. 67–76.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2022 | Draft | Preprint | IST-REx-ID: 14600 | OA
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Draft | Preprint | IST-REx-ID: 14601 | OA
Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
FORQ-based language inclusion formal testing
K. Doveri, P. Ganty, N.A. Mazzocchi, in:, Computer Aided Verification, Springer Nature, 2022, pp. 109–129.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
History-deterministic timed automata
T.A. Henzinger, K. Lehtinen, P. Totzke, in:, 33rd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 14:1-14:21.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed