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
-
June 2026:
I am attending the Shonan Meeting on Frontiers of Formal Methods for Probabilistic Models and Programs, where I will give a tutorial on bridging the gap between formal methods and reinforcement learning.
-
May 2026:
The master’s thesis of my student Adam Štafa, entitled Efficient Multi-Objective Reinforcement Learning with Expressive Function Approximators, won the shared first place at this year’s Czech-Slovak Student Research Competition in Mathematics and Computer Science. The paper Architecture over Algorithms: Network Modernization Improves Multi-Objective Reinforcement Learning, on which the thesis is based, was accepted at RLC’26.
-
September 2025:
We are looking for motivated students to join our Formela seminar on strategic AI!
-
August 2025:
In the PC od TACAS’26.
-
June 2025:
Giving a talk on risk-constrained planning and learning at Singapore Management University.
-
April 2025:
Our paper Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs was accepted ay ICALP’25!
-
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!