[{"day":"01","type":"conference","article_processing_charge":"Yes (in subscription journal)","corr_author":"1","page":"359-372","supplementarymaterial":"no","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783031656330"],"eissn":["1611-3349"],"isbn":["9783031656323"]},"scopus_import":"1","author":[{"first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer"},{"orcid":"0000-0002-0163-2152","last_name":"Weininger","first_name":"Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","full_name":"Weininger, Maximilian"}],"date_published":"2024-07-01T00:00:00Z","external_id":{"isi":["001307897000016"],"arxiv":["2405.03885"]},"alternative_title":["LNCS"],"arxiv":1,"language":[{"iso":"eng"}],"has_accepted_license":"1","fulldoi":"https://doi.org/10.1007/978-3-031-65633-0_16","ddc":["000"],"quality_controlled":"1","project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"publisher":"Springer Nature","status":"public","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.","title":"Playing games with your PET: Extending the Partial Exploration Tool to stochastic games","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."}],"citation":{"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.","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>","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>.","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>.","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>","short":"T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.","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."},"publication_status":"published","year":"2024","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"researchdata_availability":"yes","volume":14683,"doi":"10.1007/978-3-031-65633-0_16","publication":"36th International Conference on Computer Aided Verification","oa_version":"Published Version","intvolume":"     14683","file_date_updated":"2024-08-12T08:39:12Z","das_tickbox":"1","oa":1,"file":[{"success":1,"date_updated":"2024-08-12T08:39:12Z","file_id":"17419","creator":"dernst","file_name":"2024_CAV_Meggendorfer.pdf","checksum":"c888231d0a47b55786b7b4c0f02216bb","file_size":368487,"relation":"main_file","access_level":"open_access","date_created":"2024-08-12T08:39:12Z","content_type":"application/pdf"}],"date_updated":"2026-10-15T10:06:48Z","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_created":"2024-08-09T11:24:54Z","department":[{"_id":"KrCh"}],"conference":{"name":"CAV: Computer Aided Verification","end_date":"2024-07-27","location":"Montreal, Canada","start_date":"2024-07-24"},"ec_funded":1,"_id":"17402","month":"07","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]."}]