Scholar
Petr Novotný
Google Scholar ID: DfEZbjMAAAAJ
Associate Professor, Faculty of Informatics, Masaryk University
probabilistic systems
reinforcement learning
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
859
H-index
16
i10-index
21
Publications
20
Co-authors
7
list available
Publications
4 items
Momba: Network Modernization Improves Multi-Objective Reinforcement Learning
2026
Cited
0
Refuting Equivalence in Probabilistic Programs with Conditioning
2025
Cited
0
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
2024
Cited
0
Games on Graphs
arXiv.org · 2023
Cited
0
Co-authors
6 total
Krishnendu Chatterjee
Professor, IST Austria
Tomas Brazdil
Masaryk University
Antonin Kucera
Masaryk University
Stefan Kiefer
Professor of Computer Science, University of Oxford
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
