Meggendorfer, Tobias and Weininger, Maximilian (2024) Playing Games with Your PET : Extending the Partial Exploration Tool to Stochastic Games. In: Computer Aided Verification : CAV 2024. Lecture Notes in Computer Science . Springer, Cham, pp. 359-372. ISBN 9783031656323
Full text not available from this repository.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.