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

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

• On Lexicographic Proof Rules for Probabilistic Termination

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

  Článek ve sborníku

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

• Proving non-termination by program reversal

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

  Článek ve sborníku

  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), rok: 2021

2020

• Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

  CHATTERJEE Krishnendu CHMELÍK Martin KARKHANIS Deep NOVOTNÝ Petr ROYER Amélie

  Článek ve sborníku

  Proceedings of the International Conference on Automated Planning and Scheduling, rok: 2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

  BLAHOUDEK František BRÁZDIL Tomáš NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Článek ve sborníku

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, rok: 2020