Petr Novotný

4 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 AAMAS ×1 IJCAI ×1 PLDI ×1

Frequent coauthors

Martin Kurecka

×2

Krishnendu Chatterjee

×2

Ehsan Kafshdar Goharshady

×2

Dorde Zikelic

×2

Guy Avni

×1

Kaushik Mallik

×1

Suman Sadhukhan

×1

Václav Nevyhostený

×1

Vít Uncovský

×1

Mehrdad Karrabi

×1

Papers

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
AAMAS 2025 ·
Guy Avni
,
Martin Kurecka
,
Kaushik Mallik
, Petr Novotný,
Suman Sadhukhan
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
AAAI 2025 ·
Martin Kurecka
,
Václav Nevyhostený
, Petr Novotný,
Vít Uncovský
Equivalence and Similarity Refutation for Probabilistic Programs
PLDI 2024 ·
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
, Petr Novotný,
Dorde Zikelic
Solving Long-run Average Reward Robust MDPs via Stochastic Games
IJCAI 2024 ·
Krishnendu Chatterjee
,
Ehsan Kafshdar Goharshady
,
Mehrdad Karrabi
, Petr Novotný,
Dorde Zikelic