Publication Records

BLAHOUDEK, Fratišek, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Transactions on Automatic Control. 2023, vol. 68, No 8, p. 4586 - 4601. ISSN 0018-9286. Available from: https://dx.doi.org/10.1109/TAC.2022.3209612.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY and Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects of Computing. 2023, vol. 35, No 2, p. "11:1"-"11:25", 25 pp. ISSN 0934-5043. Available from: https://dx.doi.org/10.1145/3585391.

AJDARÓW, Michal, Šimon BRLEJ and Petr NOVOTNÝ. Shielding in Resource-Constrained Goal POMDPs. Online. In Brian Williams, Yiling Chen, Jennifer Neville. Proceedings of the 37th AAAI Conference on Artificial Intelligence. Washington, DC, USA: AAAI Press, 2023, p. 14674-14682. ISBN 978-1-57735-880-0. Available from: https://dx.doi.org/10.1609/aaai.v37i12.26715.

KLAŠKA, David, Antonín KUČERA, Martin KUREČKA, Vít MUSIL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, p. 171-179. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/20.

BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. Online. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research, 2022, p. 244-254. ISBN 978-1-7138-6329-8.

BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 640-656. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_34.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY and Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 619-639. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_33.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ and Djordje ŽIKELIĆ. Proving non-termination by program reversal. Online. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York, NY, USA: ACM, 2021, p. 1033-1048. ISBN 978-1-4503-8391-2. Available from: https://dx.doi.org/10.1145/3453483.3454093.

CHATTERJEE, Krishnendu, Martin CHMELÍK, Deep KARKHANIS, Petr NOVOTNÝ and Amélie ROYER. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. Online. In Proceedings of the International Conference on Automated Planning and Scheduling. Palo Alto: AAAI Press, 2020, p. 48-56. ISBN 978-1-57735-824-4.

BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer, 2020, p. 421-447. ISBN 978-3-030-53290-1. Available from: https://dx.doi.org/10.1007/978-3-030-53291-8_22.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ and Jiří VAHALA. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Online. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. Palo Alto, California, USA: AAAI Press, 2020, p. 9794-9801. ISBN 978-1-57735-823-7. Available from: https://dx.doi.org/10.1609/aaai.v34i06.6531.

CHATTERJEE, Krishnendu, Hongfei FU and Petr NOVOTNÝ. Termination Analysis of Probabilistic Programs with Martingales. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. Foundations of Probabilistic Programming. Cambridge, UK: Cambridge University Press, 2020, p. 221-258. ISBN 978-1-108-48851-8. Available from: https://dx.doi.org/10.1017/9781108770750.008.

AVNI, Guy, Thomas A. HENZINGER, Rasmus IBSEN-JENSEN and Petr NOVOTNÝ. Bidding Games on Markov Decision Processes. In Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov. Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. Cham: Springer, 2019, p. 1-12. ISBN 978-3-030-30805-6. Available from: https://dx.doi.org/10.1007/978-3-030-30806-3_1.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ and Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, p. 462-478. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_27.

BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ and Mahsa SHIRMOHAMMADI. On the Complexity of Value Iteration. Online. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi. Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, p. "102:1"-"102:15", 15 pp. ISBN 978-3-95977-109-2. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.102.

CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ and Rouzbeh HASHEMINEZHAD. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS). NEW YORK: ACM, 2018, vol. 40, No 2, 45 pp. ISSN 0164-0925. Available from: https://dx.doi.org/10.1145/3174800.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN and Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, p. 185-194. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209191.

CHATTERJEE, Krishnendu, Adrián ELGYUTT, Petr NOVOTNÝ and Owen ROUILLÉ. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018). ijcai.org, 2018, p. 4692--4699, 7 pp. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/652.

AGRAWAL, Sheshansh, Krishnendu CHATTERJEE and Petr NOVOTNÝ. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In PACMPL (Proceedings of POPL'18). New York, NY, USA: ACM, 2018, p. "34:1--34:32", 32 pp. ISSN 2475-1421.

CHATTERJEE, Krishnendu, Petr NOVOTNÝ, Guillermo A. PÉREZ, Jean-Francois RASKIN and Djordje ŽIKELIĆ. Optimizing Expectation with Guarantees in POMDPs. Online. In Satinder P. Singh and Shaul Markovitch. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2017, p. 3725--3732.

CHATTERJEE, Krishnendu, Petr NOVOTNÝ and Djordje ŽIKELIĆ. Stochastic Invariants for Probabilistic Termination. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). New York, NY, USA: ACM, 2017, p. 145-160. ISSN 0362-1340. Available from: https://dx.doi.org/10.1145/3009837.3009873.

CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ and Rouzbeh HASHEMINEZHAD. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). New York, NY, USA: ACM, 2016, p. 327--342. ISBN 978-1-4503-3549-2. Available from: https://dx.doi.org/10.1145/2914770.2837639.

BRÁZDIL, Tomáš, Antonín KUČERA and Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer, 2016, p. 32-49. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_3.

BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA and Petr NOVOTNÝ. Stability in Graphs and Games. Online. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, p. 1-14. ISBN 978-3-95977-017-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.

BRÁZDIL, Tomáš, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK and Anchit GUPTA. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Singapur: ACM, 2016, p. 1465-1466. ISBN 978-1-4503-4239-1.

PANOVSKÝ, Roman, M. PLEVA, V. FEITOVÁ, P. KRUZLIAK, Jaroslav MELUZÍN, Vladimír KINCL, Petr NOVOTNÝ and Jiří VANÍČEK. Left atrium assessment: The evolving role of MRI. Journal of Cardiovascular Medicine. Philadelphia: Lippincott Williams & Wilkins, 2015, vol. 16, No 10, p. 1-10. ISSN 1558-2027. Available from: https://dx.doi.org/10.2459/JCM.0000000000000155.

BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA and Petr NOVOTNÝ. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Neuveden: IEEE, 2015, p. 44-55. ISBN 978-1-4799-8875-4. Available from: https://dx.doi.org/10.1109/LICS.2015.15.

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, p. 141-159. ISBN 978-3-319-22263-9. Available from: https://dx.doi.org/10.1007/978-3-319-22264-6_10.

BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA and Petr NOVOTNÝ. Minimizing Running Costs in Consumption Systems. In Armin Biere, Roderick Bloem. Computer Aided Verification. Neuveden: Springer International Publishing, 2014, p. 457-472. ISBN 978-3-319-08866-2. Available from: https://dx.doi.org/10.1007/978-3-319-08867-9_30.

BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA, Petr NOVOTNÝ and Joost-Pieter KATOEN. Zero-reachability in probabilistic multi-counter automata. Online. In Thomas Henzinger and Dale Miller. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: ACM, 2014, p. nestránkováno, 10 pp. ISBN 978-1-4503-2886-9. Available from: https://dx.doi.org/10.1145/2603088.2603161.

BRÁZDIL, Tomáš, Antonín KUČERA and Petr NOVOTNÝ. Determinacy in Stochastic Games with Unbounded Payoff Functions. Online. In Mathematical and Engineering Methods in Computer Science (MEMICS 2012). Heidelberg: Springer, 2013, p. 94-105. ISBN 978-3-642-36044-2. Available from: https://dx.doi.org/10.1007/978-3-642-36046-6_10.

BRÁZDIL, Tomáš, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ and Aistis SIMAITIS. Solvency Markov Decision Processes with Interest. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Dagstuhl, Germany: IBFI Schloss Dagstuhl, 2013, p. 487-499. ISBN 978-3-939897-64-4. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.487.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA and Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In Computer Aided Verification - 24th International Conference, CAV 2012. Berlin: Springer, 2012, p. 23-38. ISBN 978-3-642-31423-0. Available from: https://dx.doi.org/10.1007/978-3-642-31424-7_8.

BRÁZDIL, Tomáš, Antonín KUČERA, Petr NOVOTNÝ and Dominik WOJTCZAK. Minimizing Expected Termination Time in One-Counter Markov Decision Processes. In Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012). Berlin: Springer, 2012, p. 141-152. ISBN 978-3-642-31584-8. Available from: https://dx.doi.org/10.1007/978-3-642-31585-5_16.