Formal Methods for Stochastic Models: Algorithms and Applications
Project Period: 2021-01-01 – 2025-12-31
Funder:
European Research Council
Acronym
ForM-SMArt
Principal Investigator
Department(s)
Grant Number
863818
Grant DOI
Funder
European Research Council
Funder Schema
H2020-ERC-CoG
Funder Registry
97 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19667 | 
Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Linear equations with min and max operators: Computational complexity
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
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
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.
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
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
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.
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
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
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.
2025 | Published | Conference Paper | IST-REx-ID: 19666 |
Solving robust Markov decision processes: Generic, reliable, efficient
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26631–26641.
2025 | Published | Conference Paper | IST-REx-ID: 19600
Route discovery in private payment channel networks
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
View
| DOI
Z. Avarikioti, M. Bastankhah, M.A. Maddah-Ali, K.Z. Pietrzak, J. Svoboda, M.X. Yeo, in:, Computer Security. ESORICS 2024 International Workshops, Springer Nature, 2025, pp. 207–223.
2025 | Published | Journal Article | IST-REx-ID: 19843 |
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
V. Hübner, L. Schmid, C. Hilbe, K. Chatterjee, PNAS Nexus 4 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20254 |
| 
|
Maintaining diversity in structured populations
D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, Pnas Nexus 4 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, Pnas Nexus 4 (2025).
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
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
2025 | Published | Conference Paper | IST-REx-ID: 20299 |
Lower bound on Howard policy iteration for deterministic Markov Decision Processes
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232.
2025 | Published | Conference Paper | IST-REx-ID: 20302 |
Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis
R. Luo, S.U. Stich, S. Horváth, M. Takáč, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 2539–2547.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
R. Luo, S.U. Stich, S. Horváth, M. Takáč, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 2539–2547.
2025 | Published | Conference Paper | IST-REx-ID: 20297 |
Limit-sure reachability for small memory policies in POMDPs is NP-complete
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
[Published Version]
View
| Files available
| arXiv
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.
2025 | Published | Thesis | IST-REx-ID: 20138 |
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
J. Svoboda, Structural Properties of Games on Graphs, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19903 |
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
V. Hübner, Reciprocity and Inequality in Social Dilemmas, Institute of Science and Technology Austria, 2025.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19074 |
Time-dependent strategies in repeated asymmetric public goods games
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19445 |
Reconfiguration using generalized token jumping
J.M. Křišťan, J. Svoboda, in:, 19th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2025, pp. 244–265.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J.M. Křišťan, J. Svoboda, in:, 19th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2025, pp. 244–265.
2025 | Published | Thesis | IST-REx-ID: 20234 |
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
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.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19508 |
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 (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications (2025).
2025 | Published | Journal Article | IST-REx-ID: 19499 |
Hardware-optimal quantum algorithms
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).