Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Publikation: Beitrag in FachzeitschriftKonferenzartikelBeigetragenBegutachtung

Beitragende

Abstract

Markov decision processes (MDP) are a well-established model for sequential decision-making in the presence of probabilities. In *robust* MDP (RMDP), every action is associated with an *uncertainty set* of probability distributions, modelling that transition probabilities are not known precisely. Based on the known theoretical connection to stochastic games, we provide a framework for solving RMDPs that is generic, reliable, and efficient. It is *generic* both with respect to the model, allowing for a wide range of uncertainty sets, including but not limited to intervals, L1- or L2-balls, and polytopes; and with respect to the objective, including long-run average reward, undiscounted total reward, and stochastic shortest path. It is *reliable*, as our approach not only converges in the limit, but provides precision guarantees at any time during the computation. It is *efficient* because -- in contrast to state-of-the-art approaches -- it avoids explicitly constructing the underlying stochastic game. Consequently, our prototype implementation outperforms existing tools by several orders of magnitude and can solve RMDPs with a million states in under a minute.

Details

OriginalspracheEnglisch
Seiten (von - bis)26631-26641
Seitenumfang11
FachzeitschriftProceedings of the AAAI Conference on Artificial Intelligence
Jahrgang39
Ausgabenummer25
PublikationsstatusVeröffentlicht - 11 Apr. 2025
Peer-Review-StatusJa

Konferenz

Titel39th AAAI Conference on Artificial Intelligence
KurztitelAAAI-25
Veranstaltungsnummer39
Dauer25 Februar - 4 März 2025
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtPennsylvania Convention Center
StadtPhiladelphia
LandUSA/Vereinigte Staaten

Externe IDs

unpaywall 10.1609/aaai.v39i25.34865
Scopus 105003911147

Schlagworte