Petr Novotný

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 52

Top Topics

Markov Decision Process

Reinforcement Learning

Stochastic Shortest Path

Top Venues

Publications

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR (2024)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. CoRR (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR (2023)
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
Games on Graphs. CoRR (2023)
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Trans. Autom. Control. 68 (8) (2023)
Michal Ajdarów, Simon Brlej, Petr Novotný
Shielding in Resource-Constrained Goal POMDPs. AAAI (2023)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. IJCAI (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35 (2) (2023)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly adaptation of patrolling strategies in changing environments. UAI (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR (2022)
Michal Ajdarów, Simon Brlej, Petr Novotný
Shielding in Resource-Constrained Goal POMDPs. CoRR (2022)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving non-termination by program reversal. PLDI (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic
Proving Non-termination by Program Reversal. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. FM (2021)
Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM (2021)
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs with Resource Constraints. CoRR (2021)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR (2020)
Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. ICAPS (2020)
Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) (2020)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. CoRR (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR (2020)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. CoRR (2019)
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Petr Novotný
Bidding Games on Markov Decision Processes. RP (2019)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA (2019)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Value Iteration. ICALP (2019)
Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. IJCAI (2018)
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM Trans. Program. Lang. Syst. 40 (2) (2018)
Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný, Owen Rouillé
Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives. CoRR (2018)
Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes. CoRR (2018)
Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. LICS (2018)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan, Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. CoRR (2018)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs. AAAI (2017)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan
Efficient Algorithms for Checking Fast Termination in VASS. CoRR (2017)
Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný
Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. CoRR (2017)
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
Stochastic invariants for probabilistic termination. POPL (2017)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
Stochastic Shortest Path with Energy Constraints in POMDPs. CoRR (2016)
Krishnendu Chatterjee, Petr Novotný, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic
Optimizing Expectation with Guarantees in POMDPs (Technical Report). CoRR (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CONCUR (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. ATVA (2016)
Tomás Brázdil, Vojtech Forejt, Antonín Kucera, Petr Novotný
Stability in Graphs and Games. CoRR (2016)
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL (2016)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný
Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). AAMAS (2016)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. CoRR (2016)
Krishnendu Chatterjee, Petr Novotný, Dorde Zikelic
Stochastic Invariants for Probabilistic Termination. CoRR (2016)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. CoRR (2015)
Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, Rouzbeh Hasheminezhad
Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. CoRR (2015)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný
Long-Run Average Behaviour of Probabilistic Vector Addition Systems. LICS (2015)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CoRR (2014)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-reachability in probabilistic multi-counter automata. CSL-LICS (2014)
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen
Zero-Reachability in Probabilistic Multi-Counter Automata. CoRR (2014)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CAV (2014)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. FSTTCS (2013)
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
Solvency Markov Decision Processes with Interest. CoRR (2013)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions. MEMICS (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. CAV (2012)
Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný
Determinacy in Stochastic Games with Unbounded Payoff Functions CoRR (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR (2012)