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

  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

• 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

  Article in Proceedings

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 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

  Article in Proceedings

  Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 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

  Article in Proceedings

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

• On Lexicographic Proof Rules for Probabilistic Termination

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

  Article in Proceedings

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

• Proving non-termination by program reversal

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

  Article in Proceedings

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

2020

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

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

  Article in Proceedings

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

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

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

  Article in Proceedings

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