Work

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

Year: 2024

Type: conference-paper

Abstract: We present version 2.0 of thePartial Exploration Tool(Pet), a tool for verification of probabilistic systems. We extend the previous version by adding support forstochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby,Pet2is 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 thatPet2offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools.

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-65633-0_16

Authors: Tobias Meggendorfer, Maximilian Weininger

Institutions: Lancaster University, Institute of Science and Technology Austria

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $5,392

OpenAlex ID: W4400995133