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

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

  Paper 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

  Paper 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

  Paper 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

  Paper 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

  Paper 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

  Paper 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

  Paper in proceedings

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

• Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu NOVOTNÝ Petr VAHALA Jiří

  Paper in proceedings

  The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020

• Termination Analysis of Probabilistic Programs with Martingales

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr

  Chapter in a book

  Foundations of Probabilistic Programming, year: 2020, number of pages: 38 s.

2019

• Bidding Games on Markov Decision Processes

  AVNI Guy HENZINGER Thomas A. IBSEN-JENSEN Rasmus NOVOTNÝ Petr

  Paper in proceedings

  Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings., year: 2019