Scholar
Petr Novotný
Google Scholar ID: DfEZbjMAAAAJ
Associate Professor, Faculty of Informatics, Masaryk University
Citations & Impact
Citations
626
H-index
14
i10-index
18
Publications
20
Co-authors
7
list available
Publications
Resume (English only)
Academic Achievements
- Paper 'Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs' accepted at ICALP’25
- Paper 'Refuting Equivalence in Probabilistic Programs with Conditioning' accepted at TACAS’25
- Paper 'Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives' accepted at AAMAS’25
- Paper 'Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves' accepted for oral presentation at AAAI’25
- Program Committee member for TACAS’26
