Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
<|reference_start|>Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games: 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.<|reference_end|>
@article{meggendorfer2024playing,
    title={Playing Games with your PET: Extending the Partial Exploration Tool to
  Stochastic Games},
    author={Tobias Meggendorfer and Maximilian Weininger},
    journal={arXiv preprint arXiv:2405.03885},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.03885},
    primaryClass={eess.SY cs.AI cs.GT cs.SY}
}