Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F23%3A00133936" target="_blank" >RIV/00216224:14330/23:00133936 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1109/LICS56636.2023.10175771" target="_blank" >http://dx.doi.org/10.1109/LICS56636.2023.10175771</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/LICS56636.2023.10175771" target="_blank" >10.1109/LICS56636.2023.10175771</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

Popis výsledku v původním jazyce

A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.

Název v anglickém jazyce

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

Popis výsledku anglicky

A classic solution technique for Markov decision processes (MDP) and stochastic games (SG) is value iteration (VI). Due to its good practical performance, this approximative approach is typically preferred over exact techniques, even though no practical bounds on the imprecision of the result could be given until recently. As a consequence, even the most used model checkers could return arbitrarily wrong results. Over the past decade, different works derived stopping criteria, indicating when the precision reaches the desired level, for various settings, in particular MDP with reachability, total reward, and mean payoff, and SG with reachability.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS

ISBN

9798350335873

ISSN

1043-6871

e-ISSN

—

Počet stran výsledku

14

Strana od-do

1-14

Název nakladatele

IEEE

Místo vydání

Boston

Místo konání akce

Boston

Datum konání akce

1. 1. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

001036707700042