Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
475 Publications
2023 | Published | Journal Article | IST-REx-ID: 10770 | 
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version]
View
| Files available
| DOI
| WoS
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | Published | Journal Article | IST-REx-ID: 13258 |
The effect of environmental information on evolution of cooperation in stochastic games
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, M.A. Nowak, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Kleshnina, C. Hilbe, S. Simsa, K. Chatterjee, M.A. Nowak, Nature Communications 14 (2023).
2023 | Research Data Reference | IST-REx-ID: 13336 |
kleshnina/stochgames_info: The effect of environmental information on evolution of cooperation in stochastic games
M. Kleshnina, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Kleshnina, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 13967 |
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
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
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.
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
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
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Published | Conference Paper | IST-REx-ID: 14259 |
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Published | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Published | Conference Paper | IST-REx-ID: 14417 |
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14456 |
Shortest dominating set reconfiguration under token sliding
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J.M. Křišťan, J. Svoboda, in:, 24th International Symposium on Fundamentals of Computation Theory, Springer Nature, 2023, pp. 333–347.
2023 | Published | Conference Paper | IST-REx-ID: 14518 |
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
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 | Published | Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
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
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.
2023 | Submitted | Preprint | IST-REx-ID: 17100 |
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 | Published | Journal Article | IST-REx-ID: 12706 |
Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 12738 |
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).