Petr Novotný

According to our database, Petr Novotný authored at least 37 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Equivalence and Similarity Refutation for Probabilistic Programs.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic

Proc. ACM Program. Lang., 2024

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

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Efficient Strategy Synthesis for MDPs With Resource Constraints.

Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

IEEE Trans. Autom. Control., August, 2023

On Lexicographic Proof Rules for Probabilistic Termination.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic

Formal Aspects Comput., June, 2023

Games on Graphs.

Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra

CoRR, 2023

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

David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák

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

Shielding in Resource-Constrained Goal POMDPs.

Michal Ajdarów, Simon Brlej, Petr Novotný

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

On-the-fly adaptation of patrolling strategies in changing environments.

Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák

Proceedings of the Uncertainty in Artificial Intelligence, 2022

2021

Proving non-termination by program reversal.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

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

Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes.

Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer

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

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

Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Bidding Games on Markov Decision Processes.

Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný

Proceedings of the Reachability Problems - 13th International Conference, 2019

On the Complexity of Value Iteration.

Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs.

Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad

ACM Trans. Program. Lang. Syst., 2018

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs.

Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný

Proc. ACM Program. Lang., 2018

On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes.

Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi

CoRR, 2018

Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives.

Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Efficient Algorithms for Checking Fast Termination in VASS.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan

CoRR, 2017

Stochastic invariants for probabilistic termination.

Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Optimizing Expectation with Guarantees in POMDPs.

Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Optimizing Expectation with Guarantees in POMDPs (Technical Report).

Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic

CoRR, 2016

Stochastic Shortest Path with Energy Constraints in POMDPs.

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný

CoRR, 2016

Stability in Graphs and Games.

Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Optimizing the Expected Mean Payoff in Energy Markov Decision Processes.

Tomás Brázdil, Antonín Kucera, Petr Novotný

Proceedings of the Automated Technology for Verification and Analysis, 2016

Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract).

Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.

Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Long-Run Average Behaviour of Probabilistic Vector Addition Systems.

Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Zero-reachability in probabilistic multi-counter automata.

Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Minimizing Running Costs in Consumption Systems.

Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Solvency Markov Decision Processes with Interest.

Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Determinacy in Stochastic Games with Unbounded Payoff Functions.

Tomás Brázdil, Antonín Kucera, Petr Novotný

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

Minimizing Expected Termination Time in One-Counter Markov Decision Processes.

Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Efficient Controller Synthesis for Consumption Games with Multiple Resource Types.

Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný

Proceedings of the Computer Aided Verification - 24th International Conference, 2012