Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{2392227, author = {Křetínský, Jan and Meggendorfer, Tobias and Weininger, Maximilian}, address = {Boston}, booktitle = {2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS}, doi = {http://dx.doi.org/10.1109/LICS56636.2023.10175771}, editor = {979-8-3503-3587-3}, keywords = {Stochastic games; value iteration}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Boston}, isbn = {979-8-3503-3587-3}, pages = {1-14}, publisher = {IEEE}, title = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives}, year = {2023} }
TY - JOUR ID - 2392227 AU - Křetínský, Jan - Meggendorfer, Tobias - Weininger, Maximilian PY - 2023 TI - Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives PB - IEEE CY - Boston SN - 9798350335873 KW - Stochastic games KW - value iteration N2 - 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. ER -
KŘETÍNSKÝ, Jan, Tobias MEGGENDORFER a Maximilian WEININGER. Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. In 979-8-3503-3587-3. \textit{2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS}. Boston: IEEE, 2023, s.~1-14. ISBN~979-8-3503-3587-3. Dostupné z: https://dx.doi.org/10.1109/LICS56636.2023.10175771.
|