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

2025

• Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

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

  Článek ve sborníku

  Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, rok: 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

  Článek ve sborníku

  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, rok: 2025

2024

• Equivalence and Similarity Refutation for Probabilistic Programs

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

2023

• Efficient Strategy Synthesis for MDPs With Resource Constraints

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

  Článek v odborném periodiku

  IEEE Transactions on Automatic Control, rok: 2023, ročník: 68, vydání: 8, DOI

• On Lexicographic Proof Rules for Probabilistic Termination

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

  Článek v odborném periodiku

  Formal Aspects of Computing, rok: 2023, ročník: 35, vydání: 2, DOI

• Shielding in Resource-Constrained Goal POMDPs

  AJDARÓW Michal BRLEJ Šimon NOVOTNÝ Petr

  Článek ve sborníku

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

• Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

  KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023

2022

• On-the-fly Adaptation of Patrolling Strategies in Changing Environments

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, rok: 2022

2021

• Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption

  BLAHOUDEK František CUBUKTEPE Murat NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Článek ve sborníku

  24th International Symposium on Formal Methods, FM 2021, rok: 2021