Items where Author is "Meggendorfer, Tobias"

Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Křetínský, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz (2025) Learning Algorithms for Verification of Markov Decision Processes. TheoretiCS, 4: 13268.

Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob (2024) Entropic risk for turn-based stochastic games. Information and Computation, 301: 105214.

Andriushchenko, Roman and Bork, Alexander and Budde, Carlos E. and Češka, Milan and Grover, Kush and Hahn, Ernst Moritz and Hartmanns, Arnd and Israelsen, Bryant and Jansen, Nils and Jeppson, Joshua and Junges, Sebastian and Köhl, Maximilian A. and Könighofer, Bettina and Křetínský, Jan and Meggendorfer, Tobias and Parker, David and Pranger, Stefan and Quatmann, Tim and Ruijters, Enno and Taylor, Landon and Volk, Matthias and Weininger, Maximilian and Zhang, Zhen (2024) Tools at the Frontiers of Quantitative Verification : QComp 2023 Competition Report. In: TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, FRA, pp. 90-146. ISBN 9783031676949

Akshay, S. and Meggendorfer, Tobias and Thiagarajan, P. S. (2024) Causally Deterministic Markov Decision Processes. In: 35th International Conference on Concurrency Theory, CONCUR 2024 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 6:1-6:22. ISBN 9783959773393

Meggendorfer, Tobias and Weininger, Maximilian (2024) Playing Games with Your PET : Extending the Partial Exploration Tool to Stochastic Games. In: Computer Aided Verification : CAV 2024. Lecture Notes in Computer Science . Springer, Cham, pp. 359-372. ISBN 9783031656323

Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Žikelić, Đorđe (2024) Quantitative Bounds on Resource Usage of Probabilistic Programs. Proceedings of the ACM on Programming Languages, 8 (OOPSLA). pp. 362-391. ISSN 2475-1421

Avni, Guy and Meggendorfer, Tobias and Sadhukhan, Suman and Tkadlec, Josef and Žikelić, Đorđe (2023) Reachability Poorman Discrete-Bidding Games. In: ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings :. Frontiers in Artificial Intelligence and Applications . UNSPECIFIED, pp. 141-148. ISBN 9781643684369

Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob (2023) Entropic Risk for Turn-Based Stochastic Games. In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023 :. Leibniz International Proceedings in Informatics, LIPIcs, 272 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15:1-15:16. ISBN 9783959772921

Kretínský, Jan and Meggendorfer, Tobias and Prokop, Maximilian and Rieder, Sabine (2023) Guessing Winning Policies in LTL Synthesis by Semantic Learning. In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 390-414. ISBN 9783031377051

Akshay, S. and Chatterjee, Krishnendu and Meggendorfer, Tobias and Žikelić, Đorđe (2023) MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 86-112. ISBN 9783031377082

Kretínský, Jan and Meggendorfer, Tobias and Weininger, Maximilian (2023) Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023 :. Proceedings - Symposium on Logic in Computer Science . IEEE, pp. 1-14. ISBN 9798350335873

Meggendorfer, Tobias (2023) Correct Approximation of Stationary Distributions. In: 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 :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, pp. 489-507. ISBN 9783031308222

Chatterjee, Krishnendu and Meggendorfer, Tobias and Saona, Raimundo and Svoboda, Jakub (2023) Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. In: 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023 :. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms . Curran Associates, Inc., pp. 4590-4605. ISBN 9781611977554

Ahmadi, Ali and Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Safavi, Roodabeh and Zikelic, Ðorde (2022) Algorithms and Hardness Results for Computing Cores of Markov Chains. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022 :. Leibniz International Proceedings in Informatics, LIPIcs . UNSPECIFIED, 29:1-29:20. ISBN 9783959772617

Kretínský, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian (2022) Index appearance record with preorders. Acta Informatica, 59 (5): 5. pp. 585-618.

Meggendorfer, Tobias (2022) PET - A Partial Exploration Tool for Probabilistic Verification. In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 320-326. ISBN 9783031199912

Grover, Kush and Kretínský, Jan and Meggendorfer, Tobias and Weininger, Maximilian (2022) Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. In: 33rd International Conference on Concurrency Theory, CONCUR 2022 :. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 11:1-11:20. ISBN 9783959772464

Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Meggendorfer, Tobias and Žikelić, Đorđe (2022) Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, pp. 55-78. ISBN 9783031131844

Meggendorfer, Tobias (2022) Risk-Aware Stochastic Shortest Path. In: AAAI-22 Technical Tracks 9 :. Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022 . UNSPECIFIED, pp. 9858-9867. ISBN 1577358767

Kretínský, Jan and Meggendorfer, Tobias (2020) Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Log. Methods Comput. Sci., 16 (4): 4.

Weininger, Maximilian and Meggendorfer, Tobias and Kretínský, Jan (2019) Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes. In: 2019 IEEE 58th Conference on Decision and Control, CDC 2019 :. Proceedings of the IEEE Conference on Decision and Control . UNSPECIFIED, pp. 2284-2291. ISBN 9781728113982

Kretínský, Jan and Manta, Alexander and Meggendorfer, Tobias (2019) Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis. In: Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings :. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . UNSPECIFIED, pp. 404-422. ISBN 9783030317836

Kretínský, Jan and Meggendorfer, Tobias (2019) Of Cores: A Partial-Exploration Framework for Markov Decision Processes. In: 30th International Conference on Concurrency Theory, CONCUR 2019 :. Leibniz International Proceedings in Informatics, LIPIcs . UNSPECIFIED, pp. 1-17. ISBN 9783959771214

Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon and Ziegler, Christopher (2018) Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. In: CAV 2018: Computer Aided Verification :. Springer, pp. 567-577.

Kretínský, Jan and Meggendorfer, Tobias (2018) Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. In: LICS :. UNSPECIFIED, pp. 609-618.

Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon (2018) Owl: A Library for ω-Words, Automata, and LTL. In: ATVA 2018 : Automated Technology for Verification and Analysis. Springer, pp. 543-550. ISBN 9783030010898

Kretínský, Jan and Meggendorfer, Tobias (2017) Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes. In: ATVA 2017 : Automated Technology for Verification and Analysis. Springer, pp. 380-399.

Ashok, Pranav and Chatterjee, Krishnendu and Daca, Przemyslaw and Kretínský, Jan and Meggendorfer, Tobias (2017) Value Iteration for Long-Run Average Reward in Markov Decision Processes. In: CAV 2017 : Computer Aided Verification. Lecture Notes in Computer Science . Springer, Cham, pp. 201-221. ISBN 9783319633862

Kretínský, Jan and Meggendorfer, Tobias and Waldmann, Clara and Weininger, Maximilian (2017) Index Appearance Record for Transforming Rabin Automata into Parity Automata. In: TACAS 2017 : Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 443-460. ISBN 9783662545768