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.

David Lurie

Pavol Kebis

Ali Asadi

Satya Prakash Nayak

Krishnendu Chatterjee

Ruichen Luo

Ehsan Kafshdar Goharshadi

Mehrdad Karrabi

John Lazarsfeld

Raimundo Saona Urmeneta

Ismael Jecker

Johannes Reiter

Pepa Tkadlec

Benjamin Aminof

Valentin Hübner

Tadeas Priklopil

Mingzhang Huang

Jan Kretinsky

Andreas Pavlogiannis

Jakub Svoboda

Sasha Rubin

Florian Horn

Maria Kleshnina

Viktor Toman

Petr Novotny

Mathieu Tracol

Joost Katoen

Hongfei Fu

Martin Chmelik

Maximilian Weininger

Ventsislav Chonev

Rasmus Ibsen-Jensen

Christian Hilbe

Amir Goharshady

Laura Schmid

Djordje Zikelic

Tobias Meggendorfer



522 Publications

2025 | Published | Conference Paper | IST-REx-ID: 19740 | OA
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19742 | OA
Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19743 | OA
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19744 | OA
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Journal Article | IST-REx-ID: 20857 | OA
Promoters of cooperation in evolutionary games
J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences 122 (2025) e2524109122.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Conference Paper | IST-REx-ID: 21268 | OA
The value problem for multiple-environment MDPs with parity objective
K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21281 | OA
ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21320 | OA
IID prophet inequality with random horizon: Going beyond increasing hazard rates
G. Giambartolomei, F. Mallmann-Trenn, R.J. Saona Urmeneta, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
[Published Version] View | Files available | DOI | arXiv
 
2025 | Research Data Reference | IST-REx-ID: 21668 | OA
Benchmark data for the revised practitioner's guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20138 | OA
Structural properties of games on graphs
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19903 | OA
Reciprocity and inequality in social dilemmas
V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19843 | OA
Stable strategies of direct and indirect reciprocity across all social dilemmas
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19074 | OA | PlanS
Time-dependent strategies in repeated asymmetric public goods games
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications 15 (2025) 1617–1645.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20234 | OA
Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games
R.J. Saona Urmeneta, Robustness of Solutions in Game Theory : Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19508 | OA | PlanS
Random zero-sum dynamic games on infinite directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed