Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives

Open Webpage

Guy Avni, Martin Kurecka, Kaushik Mallik, Petr Novotný, Suman Sadhukhan

Published: 2025, Last Modified: 26 Jan 2026AAMAS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0