Items where Author is "Kretínský, Jan"

Journal Article

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.

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

Contribution in Book/Report/Proceedings

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

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

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

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