Petr Novotný

Masaryk University — Czech Republic

Computer Science · Physical Sciences

14h-index1.1kcitations110works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(45), Petri Nets in System Modeling(21), Bayesian Modeling and Causal Inference(18), Logic, Reasoning, and Knowledge(15), Real-Time Systems Scheduling(13)

Publications110 total

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Proceedings of the AAAI Conference on Artificial Intelligence·2025Open Access
Refuting Equivalence in Probabilistic Programs with Conditioning
Lecture notes in computer science·2025· 1 citedOpen Access
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
arXiv (Cornell University)·2024Open Access
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
arXiv (Cornell University)·2024Open Access
Equivalence and Similarity Refutation for Probabilistic Programs
Proceedings of the ACM on Programming Languages·2024· 5 citedOpen Access
Equivalence and Similarity Refutation for Probabilistic Programs
arXiv (Cornell University)·2024· 2 citedOpen Access
Solving Long-run Average Reward Robust MDPs via Stochastic Games
arXiv (Cornell University)·2023· 1 citedOpen Access
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
2023· 1 citedOpen Access
Shielding in Resource-Constrained Goal POMDPs
Proceedings of the AAAI Conference on Artificial Intelligence·2023· 3 citedOpen Access
Games on Graphs: From Logic and Automata to Algorithms
arXiv (Cornell University)·2023· 8 citedOpen Access
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
arXiv (Cornell University)·2023Open Access
On Lexicographic Proof Rules for Probabilistic Termination
Formal Aspects of Computing·2023· 3 citedOpen Access
Shielding in Resource-Constrained Goal POMDPs
arXiv (Cornell University)·2022Open Access
Efficient Strategy Synthesis for MDPs With Resource Constraints
IEEE Transactions on Automatic Control·2022· 4 citedOpen Access
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
arXiv (Cornell University)·2022· 1 citedOpen Access
On Lexicographic Proof Rules for Probabilistic Termination
arXiv (Cornell University)·2021· 1 citedOpen Access
Proving non-termination by program reversal
2021Open Access
RevTerm
Artifact Digital Object Group·2021
Efficient Strategy Synthesis for MDPs with Resource Constraints
arXiv (Cornell University)·2021· 1 citedOpen Access
On Lexicographic Proof Rules for Probabilistic Termination
Lecture notes in computer science·2021· 11 cited
page 1 of 6Next →

Frequent Co-authors

Krishnendu Chatterjee(20), Tomǎš Brázdil(15), Antonı́n Kučera(11), Đorđe Žikelić(8), Alexander L. Wolf(6), Ehsan Kafshdar Goharshady(5), Stefan Kiefer(4), Bong Jun Ko(4), Martin Chmelík(3), Hongfei Fu(2), Rouzbeh Hasheminezhad(2), Sheshansh Agrawal(2), Michal Opletal(2), T. Moucha(2), M. Kordač(2), Roman Panovský(2), Martin Pleva(2), Věra Feitová(2), Vladimír Kincl(2), Jaroslav Meluzı́n(2)