---
_id: '17402'
abstract:
- lang: eng
  text: 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.
acknowledgement: M. Weininger has received funding from the EU’s Horizon 2020 research
  and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101034413.
alternative_title:
- LNCS
article_processing_charge: Yes (in subscription journal)
arxiv: 1
author:
- first_name: Tobias
  full_name: Meggendorfer, Tobias
  id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
  last_name: Meggendorfer
  orcid: 0000-0002-1712-2165
- first_name: Maximilian
  full_name: Weininger, Maximilian
  id: 02ab0197-cc70-11ed-ab61-918e71f56881
  last_name: Weininger
  orcid: 0000-0002-0163-2152
citation:
  ama: 'Meggendorfer T, Weininger M. Playing games with your PET: Extending the Partial
    Exploration Tool to stochastic games. In: <i>36th International Conference on
    Computer Aided Verification</i>. Vol 14683. Springer Nature; 2024:359-372. doi:<a
    href="https://doi.org/10.1007/978-3-031-65633-0_16">10.1007/978-3-031-65633-0_16</a>'
  apa: 'Meggendorfer, T., &#38; Weininger, M. (2024). Playing games with your PET:
    Extending the Partial Exploration Tool to stochastic games. In <i>36th International
    Conference on Computer Aided Verification</i> (Vol. 14683, pp. 359–372). Montreal,
    Canada: Springer Nature. <a href="https://doi.org/10.1007/978-3-031-65633-0_16">https://doi.org/10.1007/978-3-031-65633-0_16</a>'
  chicago: 'Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your
    PET: Extending the Partial Exploration Tool to Stochastic Games.” In <i>36th International
    Conference on Computer Aided Verification</i>, 14683:359–72. Springer Nature,
    2024. <a href="https://doi.org/10.1007/978-3-031-65633-0_16">https://doi.org/10.1007/978-3-031-65633-0_16</a>.'
  ieee: 'T. Meggendorfer and M. Weininger, “Playing games with your PET: Extending
    the Partial Exploration Tool to stochastic games,” in <i>36th International Conference
    on Computer Aided Verification</i>, Montreal, Canada, 2024, vol. 14683, pp. 359–372.'
  ista: 'Meggendorfer T, Weininger M. 2024. Playing games with your PET: Extending
    the Partial Exploration Tool to stochastic games. 36th International Conference
    on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 14683,
    359–372.'
  mla: 'Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET:
    Extending the Partial Exploration Tool to Stochastic Games.” <i>36th International
    Conference on Computer Aided Verification</i>, vol. 14683, Springer Nature, 2024,
    pp. 359–72, doi:<a href="https://doi.org/10.1007/978-3-031-65633-0_16">10.1007/978-3-031-65633-0_16</a>.'
  short: T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer
    Aided Verification, Springer Nature, 2024, pp. 359–372.
conference:
  end_date: 2024-07-27
  location: Montreal, Canada
  name: 'CAV: Computer Aided Verification'
  start_date: 2024-07-24
corr_author: '1'
das_tickbox: '1'
dataavailabilitystatement: We refer to the artefact with the exact code used for the
  submission and all logs [31], and the gitlab with the continually developed source
  code [30].
date_created: 2024-08-09T11:24:54Z
date_published: 2024-07-01T00:00:00Z
date_updated: 2026-10-15T10:06:48Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-031-65633-0_16
ec_funded: 1
external_id:
  arxiv:
  - '2405.03885'
  isi:
  - '001307897000016'
file:
- access_level: open_access
  checksum: c888231d0a47b55786b7b4c0f02216bb
  content_type: application/pdf
  creator: dernst
  date_created: 2024-08-12T08:39:12Z
  date_updated: 2024-08-12T08:39:12Z
  file_id: '17419'
  file_name: 2024_CAV_Meggendorfer.pdf
  file_size: 368487
  relation: main_file
  success: 1
file_date_updated: 2024-08-12T08:39:12Z
fulldoi: https://doi.org/10.1007/978-3-031-65633-0_16
has_accepted_license: '1'
intvolume: '     14683'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 359-372
project:
- _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c
  call_identifier: H2020
  grant_number: '101034413'
  name: 'IST-BRIDGE: International postdoctoral program'
publication: 36th International Conference on Computer Aided Verification
publication_identifier:
  eisbn:
  - '9783031656330'
  eissn:
  - 1611-3349
  isbn:
  - '9783031656323'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
researchdata_availability: yes
scopus_import: '1'
status: public
supplementarymaterial: no
title: 'Playing games with your PET: Extending the Partial Exploration Tool to stochastic
  games'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 14683
year: '2024'
...