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

Tobias Meggendorfer, Maximilian Weininger

Browse the full CAV paper archive.