Petr Novotný
Scholar

Petr Novotný

Google Scholar ID: DfEZbjMAAAAJ
Associate Professor, Faculty of Informatics, Masaryk University
probabilistic systemsreinforcement learningformal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
859
 
H-index
16
 
i10-index
21
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
7 total
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Tomas Brazdil
Tomas Brazdil
Masaryk University
Antonin Kucera
Antonin Kucera
Masaryk University
Stefan Kiefer
Stefan Kiefer
Professor of Computer Science, University of Oxford
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Co-author 6
Co-author 6
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente