Home > Research > Publications & Outputs > Playing Games with Your PET

Research

Links

Text available via DOI:

View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. / Meggendorfer, Tobias; Weininger, Maximilian.
Computer Aided Verification: CAV 2024. ed. / Arie Gurfinkel; Vijay Ganesh. Cham: Springer, 2024. p. 359-372 (Lecture Notes in Computer Science; Vol. 14683).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Meggendorfer, T & Weininger, M 2024, Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. in A Gurfinkel & V Ganesh (eds), Computer Aided Verification: CAV 2024. Lecture Notes in Computer Science, vol. 14683, Springer, Cham, pp. 359-372. https://doi.org/10.1007/978-3-031-65633-0_16

APA

Meggendorfer, T., & Weininger, M. (2024). Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. In A. Gurfinkel, & V. Ganesh (Eds.), Computer Aided Verification: CAV 2024 (pp. 359-372). (Lecture Notes in Computer Science; Vol. 14683). Springer. https://doi.org/10.1007/978-3-031-65633-0_16

Vancouver

Meggendorfer T, Weininger M. Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games. In Gurfinkel A, Ganesh V, editors, Computer Aided Verification: CAV 2024. Cham: Springer. 2024. p. 359-372. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-65633-0_16

Author

Meggendorfer, Tobias ; Weininger, Maximilian. / Playing Games with Your PET : Extending the Partial Exploration Tool to Stochastic Games. Computer Aided Verification: CAV 2024. editor / Arie Gurfinkel ; Vijay Ganesh. Cham : Springer, 2024. pp. 359-372 (Lecture Notes in Computer Science).

Bibtex

@inproceedings{db94d0df82ca4c7ca6beffc99d52844f,
title = "Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games",
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 = "Tobias Meggendorfer and Maximilian Weininger",
note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2024",
month = jul,
day = "26",
doi = "10.1007/978-3-031-65633-0_16",
language = "English",
isbn = "9783031656323",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "359--372",
editor = "Arie Gurfinkel and Vijay Ganesh",
booktitle = "Computer Aided Verification",

}

RIS

TY - GEN

T1 - Playing Games with Your PET

T2 - Extending the Partial Exploration Tool to Stochastic Games

AU - Meggendorfer, Tobias

AU - Weininger, Maximilian

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2024/7/26

Y1 - 2024/7/26

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-031-65633-0_16

DO - 10.1007/978-3-031-65633-0_16

M3 - Conference contribution/Paper

SN - 9783031656323

T3 - Lecture Notes in Computer Science

SP - 359

EP - 372

BT - Computer Aided Verification

A2 - Gurfinkel, Arie

A2 - Ganesh, Vijay

PB - Springer

CY - Cham

ER -