@inproceedings{17402,
  abstract     = {We present version 2.0 of the Partial Exploration Tool (PET), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, PET2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that PET2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools.},
  author       = {Meggendorfer, Tobias and Weininger, Maximilian},
  booktitle    = {36th International Conference on Computer Aided Verification},
  isbn         = {9783031656323},
  issn         = {1611-3349},
  location     = {Montreal, Canada},
  pages        = {359--372},
  publisher    = {Springer Nature},
  title        = {{Playing games with your PET: Extending the Partial Exploration Tool to stochastic games}},
  doi          = {10.1007/978-3-031-65633-0_16},
  volume       = {14683},
  year         = {2024},
}