The Hitchiker’s Guide to Stochastic Games

This is the web-page for the paper Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives by Jan Křetínský, Tobias Meggendorfer, and Maximilian Weininger, accepted at LICS 2023.

Click any of the buttons below to access the relevant details:

To cite, you can use the following BibTeX entry (or download it here):

@inproceedings{DBLP:conf/lics/KretinskyMW23,
  author       = {Jan K{\v{r}}et{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Maximilian Weininger},
  title        = {Stopping Criteria for Value Iteration on Stochastic Games with Quantitative
                  Objectives},
  booktitle    = {{LICS}},
  pages        = {1--14},
  year         = {2023},
  doi          = {10.1109/LICS56636.2023.10175771}
}

In case you have any questions, please contact me or Maxi (click to write an email).