TY  - RPRT
TI  - Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
AU  - Guy Avni
AU  - Martin Kurečka
AU  - Kaushik Mallik
AU  - Petr Novotný
AU  - Suman Sadhukhan
PY  - 2024
UR  - https://arxiv.org/abs/2412.19609
ID  - 2412.19609
ER  -