Petr Novotný

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