Homepage of Petr Novotný
I work as an associate professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic. My chief research interests are risk-aware reinforcement learning, verification of probabilistic systems and programs, and application of formal methods in AI (particularly in decision making under uncertainty).
At our faculty, I serve as a faculty senator, an ombudsman for PhD students (together with my colleague Katarína Furmanová), and a member of the Fundamentals of Computer Science Doctoral Committee.
News
-
February 2025:
I am attending AAAI’25 in Philadelphia. If you’d like to connect, feel free to reach out to me!
-
December 2024:
Our paper Refuting Equivalence in Probabilistic Programs with Conditioning was accepted at TACAS’25!
-
December 2024:
Our paper Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives was accepted at AAMAS’25!
-
December 2024:
Our paper Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves was accepted for oral presentation at AAAI’25!
-
November 2024:
I am honoured that with my colleagues we contributed to the Festschrift of Joost-Pieter Katoen with our paper Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations.
-
June 2024:
I am attending PLDI’24 in Copenhagen. If you’d like to connect, feel free to reach out to me!
-
June 2024:
I am attending a Dagstuhl seminar on stochastic games.
-
May 2024:
Our paper Solving Long-run Average Reward Robust MDPs via Stochastic Games was accepted at IJCAI’24!