doc. RNDr. Petr Novotný, Ph.D.

2025

• Asymptotic Analysis of Probabilistic Programs : When Expectations Do Not Meet Our Expectations

  AJDARÓW Michal KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, year: 2025

• Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

  AVNI Guy KUREČKA Martin MALLIK Kaushik NOVOTNÝ Petr SADHUKHAN Suman

  Article in Proceedings

  Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, year: 2025

• Refuting Equivalence in Probabilistic Programs with Conditioning

  CHATTERJEE Krishnendu GOHARSHADY Ehsan NOVOTNÝ Petr ZIKELIC Djordje

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, year: 2025

• Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs

  AJDARÓW Michal MAIN James C A NOVOTNÝ Petr RANDOUR Mickael

  Article in Proceedings

  52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, year: 2025

• Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

  KUREČKA Martin NEVYHOŠTĚNÝ Václav NOVOTNÝ Petr UNČOVSKÝ Vít

  Article in Proceedings

  Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence and Fifteenth Symposium on Educational Advances in Artificial Intelligence, year: 2025

2024

• Equivalence and Similarity Refutation for Probabilistic Programs

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ŽIKELIĆ Djordje

  Article in Proceedings

  Proceedings of the ACM on Programming Languages, Volume 8, Issue ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI 2024), year: 2024

• Solving Long-run Average Reward Robust MDPs via Stochastic Games

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar KARRABI Mehrdad NOVOTNÝ Petr ŽIKELIĆ Djordje

  Article in Proceedings

  Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9, 2024, year: 2024

2023

• Efficient Strategy Synthesis for MDPs With Resource Constraints

  BLAHOUDEK Fratišek NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Article in Periodical

  IEEE Transactions on Automatic Control, year: 2023, volume: 68, edition: 8, DOI

• On Lexicographic Proof Rules for Probabilistic Termination

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

  Article in Periodical

  Formal Aspects of Computing, year: 2023, volume: 35, edition: 2, DOI

• Shielding in Resource-Constrained Goal POMDPs

  AJDARÓW Michal BRLEJ Šimon NOVOTNÝ Petr

  Article in Proceedings

  Proceedings of the 37th AAAI Conference on Artificial Intelligence, year: 2023