Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS
ISBN
9798350335873
ISSN
1043-6871
e-ISSN
—
Number of pages
14
Pages from-to
1-14
Publisher name
IEEE
Place of publication
Boston
Event location
Boston
Event date
Jan 1, 2023
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001036707700042