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