Entropic Risk for Turn-Based Stochastic Games.

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Guessing Winning Policies in LTL Synthesis by Semantic Learning.

Kretínský, J., Meggendorfer, T., Prokop, M. & Rieder, S., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Correct Approximation of Stationary Distributions.

Meggendorfer, T., 22/04/2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

Chatterjee, K., Meggendorfer, T., Saona, R. & Svoboda, J., 16/01/2023, 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023. Curran Associates, Inc. , p. 4590-4605 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2023-January).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Algorithms and Hardness Results for Computing Cores of Markov Chains.

Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi, R. & Zikelic, Ð., 14/12/2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). p. 29:1-29:20 20 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

PET - A Partial Exploration Tool for Probabilistic Verification.

Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

Grover, K., Kretínský, J., Meggendorfer, T. & Weininger, M., 6/09/2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 11:1-11:20 20 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review