D 2024

Solving Long-run Average Reward Robust MDPs via Stochastic Games

CHATTERJEE, Krishnendu; Ehsan Kafshdar GOHARSHADY; Mehrdad KARRABI; Petr NOVOTNÝ; Djordje ŽIKELIĆ et al.

Základní údaje

Originální název

Solving Long-run Average Reward Robust MDPs via Stochastic Games

Autoři

CHATTERJEE, Krishnendu; Ehsan Kafshdar GOHARSHADY; Mehrdad KARRABI; Petr NOVOTNÝ a Djordje ŽIKELIĆ

Vydání

Neuveden, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9, 2024, od s. 6707-6715, 9 s. 2024

Nakladatel

ijcai.org

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/24:00139771

Organizační jednotka

Fakulta informatiky

ISBN

978-1-956792-04-1

ISSN

EID Scopus

Klíčová slova anglicky

planning and scheduling; robust Markov decision processes; stochastic games

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 4. 4. 2025 12:43, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

Markov decision processes (MDPs) provide a standard framework for sequential decision making under uncertainty. However, MDPs do not take uncertainty in transition probabilities into account. Robust Markov decision processes (RMDPs) address this shortcoming of MDPs by assigning to each transition an uncertainty set rather than a single probability value. In this work, we consider polytopic RMDPs in which all uncertainty sets are polytopes and study the problem of solving long-run average reward polytopic RMDPs. We present a novel perspective on this problem and show that it can be reduced to solving long-run average reward turn-based stochastic games with finite state and action spaces. This reduction allows us to derive several important consequences that were hitherto not known to hold for polytopic RMDPs. First, we derive new computational complexity bounds for solving long-run average reward polytopic RMDPs, showing for the first time that the threshold decision problem for them is in NP and coNP and that they admit a randomized algorithm with sub-exponential expected runtime. Second, we present Robust Polytopic Policy Iteration (RPPI), a novel policy iteration algorithm for solving long-run average reward polytopic RMDPs. Our experimental evaluation shows that RPPI is much more efficient in solving long-run average reward polytopic RMDPs compared to state-of-the-art methods based on value iteration.

Návaznosti

GA23-06963S, projekt VaV
Název: VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty
Investor: Grantová agentura ČR, VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty