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

Marek Chalupa

Samuel Pastva

Thomas Henzinger

N. Ege Saraç

K. S. Thejaswini

Kaushik Mallik

Konstantin Kueffner

Nicolas Mazzocchi

Stefanie Muroya Lei

Fabian Mühlböck

Mirco Giacobbe

Hui Kong

Oliveira da Costa, Ana

Przemyslaw Daca

Duc Hiep Chu

Cezara Dragoi

Dejan Nickovic

Damien Zufferey

Roopsha Samanta

Halalai, Raluca

Anmol Tomar

Sergiy Bogomolov

Guy Avni

Christian Schilling

Jan Kretinsky

Jakob Ruess

Ali Sezgin

Joost Katoen

Udi Boker

Arjun Radhakrishna

Luka Zeleznik

Jessica Davies

Abhinav Verma

Adrian Elgyütt

Thomas Ferrère

Anna Lukina

Miriam García Soto

Pavol Cerny

Thorsten Tarrach

Singh, Anmol

Andrey Kupriyanov

Tatjana Petrov

Ashutosh Gupta

Jan Otop

Mathias Lechner

Bernhard Kragl

Vasu Singh

Thomas Wies



386 Publications

2022 | Conference Paper | IST-REx-ID: 12509 | OA
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version] View | Files available | DOI
 
2022 | Preprint | IST-REx-ID: 11366 | OA
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | 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
 
2022 | Conference Paper | IST-REx-ID: 11355 | OA
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version] View | Files available | DOI | WoS
 
2022 | 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 | 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 | Thesis | IST-REx-ID: 11362 | OA
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 
2022 | 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 | 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.)
 
2022 | 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 | Journal Article | IST-REx-ID: 12511 | OA
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | 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 | 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
 
2021 | Journal Article | IST-REx-ID: 10153 | OA
Transitioning from structural to nominal code with efficient gradual typing
F. Mühlböck, R. Tate, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version] View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 10669 | OA
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10671 | OA
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10668 | OA
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version] View | Files available | Download Published Version (ext.)
 
2021 | Conference Paper | IST-REx-ID: 10670 | OA
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10688 | OA
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version] View | Files available | DOI
 
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications