Petr Novotn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
20
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves. | Martin Kurecka, Vclav Nevyhosten, Petr Novotn, Vt Uncovsk |
| 2025 | ICALP | Taming Infinity One Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs. | Michal Ajdarw, James C. A. Main, Petr Novotn, Mickael Randour |
| 2025 | TACAS | Refuting Equivalence in Probabilistic Programs with Conditioning. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2024 | IJCAI | Solving Long-run Average Reward Robust MDPs via Stochastic Games. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotn, Dorde Zikelic |
| 2023 | AAAI | Shielding in Resource-Constrained Goal POMDPs. | Michal Ajdarw, Simon Brlej, Petr Novotn |
| 2023 | IJCAI | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. | David Klaska, Antonn Kucera, Martin Kurecka, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2022 | UAI | On-the-fly adaptation of patrolling strategies in changing environments. | Toms Brzdil, David Klaska, Antonn Kucera, Vt Musil, Petr Novotn, Vojtech Rehk |
| 2021 | FM | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. | Frantisek Blahoudek, Murat Cubuktepe, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2021 | FM | On Lexicographic Proof Rules for Probabilistic Termination. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Jiri Zrevcky, Dorde Zikelic |
| 2021 | PLDI | Proving non-termination by program reversal. | Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic |
| 2020 | AAAI | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Petr Novotn, Jiri Vahala |
| 2020 | CAV | Qualitative Controller Synthesis for Consumption Markov Decision Processes. | Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2019 | ATVA | Deciding Fast Termination for Probabilistic VASS with Nondeterminism. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan |
| 2019 | ICALP | On the Complexity of Value Iteration. | Nikhil Balaji, Stefan Kiefer, Petr Novotn, Guillermo A. Prez, Mahsa Shirmohammadi |
| 2019 | Middleware | Enabling Enterprise Blockchain Interoperability with Trusted Data Transfer (Industry Track). | Ermyas Abebe, Dushyant Behl, Chander Govindarajan, Yining Hu, Dileban Karunamoorthy, Petr Novotn, Vinayaka Pandit, Venkatraman Ramakrishna, Christian Vecchiola |
| 2019 | VLDB | Intelligent Health Care Data Management Using Blockchain: Current Limitation and Future Research Agenda. | Alevtina Dubovitskaya, Petr Novotn, Scott Thiebes, Ali Sunyaev, Michael Schumacher, Zhigang Xu, Fusheng Wang |
| 2018 | ICBC | LedgerGuard: Improving Blockchain Ledger Dependability. | Qi Zhang, Petr Novotn, Salman Baset, Donna N. Dillenberger, Artem Barger, Yacov Manevich |
| 2018 | IJCAI | Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. | Krishnendu Chatterjee, Adrin Elgytt, Petr Novotn, Owen Rouill |
| 2018 | ICSOC | Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts. | Tara Astigarraga, Xiaoyan Chen, Yaoliang Chen, Jingxiao Gu, Richard Hull, Limei Jiao, Yuliang Li, Petr Novotn |
| 2018 | LICS | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan, Florian Zuleger |
| 2017 | AAAI | Optimizing Expectation with Guarantees in POMDPs. | Krishnendu Chatterjee, Petr Novotn, Guillermo A. Prez, Jean-Franois Raskin, Dorde Zikelic |
| 2017 | POPL | Stochastic invariants for probabilistic termination. | Krishnendu Chatterjee, Petr Novotn, Dorde Zikelic |
| 2016 | ATVA | Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. | Toms Brzdil, Antonn Kucera, Petr Novotn |
| 2016 | CONCUR | Stability in Graphs and Games. | Toms Brzdil, Vojtech Forejt, Antonn Kucera, Petr Novotn |
| 2016 | POPL | Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. | Krishnendu Chatterjee, Hongfei Fu, Petr Novotn, Rouzbeh Hasheminezhad |
| 2015 | LICS | Long-Run Average Behaviour of Probabilistic Vector Addition Systems. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn |
| 2014 | CAV | Minimizing Running Costs in Consumption Systems. | Toms Brzdil, David Klaska, Antonn Kucera, Petr Novotn |
| 2014 | CSL | Zero-reachability in probabilistic multi-counter automata. | Toms Brzdil, Stefan Kiefer, Antonn Kucera, Petr Novotn, Joost-Pieter Katoen |
| 2013 | CAIP | Comparison of Leaf Recognition by Moments and Fourier Descriptors. | Toms Suk, Jan Flusser, Petr Novotn |
| 2013 | IM | Discovering service dependencies in mobile ad hoc networks. | Petr Novotn, Alexander L. Wolf, Bong Jun Ko |
| 2012 | CAV | Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. | Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn |
| 2012 | ICALP | Minimizing Expected Termination Time in One-Counter Markov Decision Processes. | Toms Brzdil, Antonn Kucera, Petr Novotn, Dominik Wojtczak |
| 2012 | SRDS | Fault Localization in MANET-Hosted Service-Based Systems. | Petr Novotn, Alexander L. Wolf, Bong Jun Ko |