{"id":"https://openalex.org/W4400995133","doi":"https://doi.org/10.1007/978-3-031-65633-0_16","title":"Playing Games with\u00a0Your PET: Extending the\u00a0Partial Exploration Tool to\u00a0Stochastic Games","display_name":"Playing Games with\u00a0Your PET: Extending the\u00a0Partial Exploration Tool to\u00a0Stochastic Games","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400995133","doi":"https://doi.org/10.1007/978-3-031-65633-0_16"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65633-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_16.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_16.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023690820","display_name":"Tobias Meggendorfer","orcid":"https://orcid.org/0000-0002-1712-2165"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tobias Meggendorfer","raw_affiliation_strings":["Lancaster University Leipzig, Leipzig, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1712-2165","affiliations":[{"raw_affiliation_string":"Lancaster University Leipzig, Leipzig, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042375584","display_name":"Maximilian Weininger","orcid":"https://orcid.org/0000-0002-0163-2152"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Maximilian Weininger","raw_affiliation_strings":["Institute of Science and Technology Austria, Klosterneuburg, Austria"],"raw_orcid":"https://orcid.org/0000-0002-1825-0097","affiliations":[{"raw_affiliation_string":"Institute of Science and Technology Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5042375584"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":8.9106,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.97871397,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"359","last_page":"372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.988099992275238,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.988099992275238,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9765999913215637,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.770564079284668},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.495547890663147},{"id":"https://openalex.org/keywords/turns-rounds-and-time-keeping-systems-in-games","display_name":"Turns, rounds and time-keeping systems in games","score":0.4734354019165039},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.42291608452796936},{"id":"https://openalex.org/keywords/video-game-design","display_name":"Video game design","score":0.3659922778606415},{"id":"https://openalex.org/keywords/game-mechanics","display_name":"Game mechanics","score":0.3507629334926605},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3427812159061432},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.32257765531539917},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07569533586502075}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.770564079284668},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.495547890663147},{"id":"https://openalex.org/C56694532","wikidata":"https://www.wikidata.org/wiki/Q4421045","display_name":"Turns, rounds and time-keeping systems in games","level":4,"score":0.4734354019165039},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.42291608452796936},{"id":"https://openalex.org/C47187476","wikidata":"https://www.wikidata.org/wiki/Q12336660","display_name":"Video game design","level":3,"score":0.3659922778606415},{"id":"https://openalex.org/C170828538","wikidata":"https://www.wikidata.org/wiki/Q1751513","display_name":"Game mechanics","level":2,"score":0.3507629334926605},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3427812159061432},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.32257765531539917},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07569533586502075}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-65633-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_16.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-65633-0_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_16.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400995133.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W620207457","https://openalex.org/W1498432697","https://openalex.org/W1502195915","https://openalex.org/W1556387789","https://openalex.org/W1607809226","https://openalex.org/W1964439345","https://openalex.org/W1972203711","https://openalex.org/W2081548873","https://openalex.org/W2130541529","https://openalex.org/W2334782222","https://openalex.org/W2568766587","https://openalex.org/W2612788245","https://openalex.org/W2899043600","https://openalex.org/W2914135999","https://openalex.org/W2932972683","https://openalex.org/W3042980517","https://openalex.org/W3046677588","https://openalex.org/W3179132544","https://openalex.org/W3186483141","https://openalex.org/W4214829027","https://openalex.org/W4220720160","https://openalex.org/W4312411454","https://openalex.org/W4312444278","https://openalex.org/W4316652400","https://openalex.org/W4366721447","https://openalex.org/W4384344687","https://openalex.org/W4396813791","https://openalex.org/W4403943655"],"related_works":["https://openalex.org/W2086822623","https://openalex.org/W4389102039","https://openalex.org/W571219209","https://openalex.org/W4236179798","https://openalex.org/W2064490186","https://openalex.org/W4381199393","https://openalex.org/W160949429","https://openalex.org/W3208860902","https://openalex.org/W2128980838","https://openalex.org/W1891427008"],"abstract_inverted_index":{"Abstract":[0],"We":[1,20,68],"present":[2],"version":[3,24],"2.0":[4],"of":[5,17,61],"the":[6,22,46,62,91,99],"Partial":[7],"Exploration":[8],"Tool":[9],"(":[10],"Pet":[11],"),":[12],"a":[13,34,50,76],"tool":[14,48,102],"for":[15,28,38,55,80],"verification":[16],"probabilistic":[18],"systems.":[19],"extend":[21],"previous":[23],"by":[25,72],"adding":[26],"support":[27],"stochastic":[29,57],"games":[30,58],",":[31],"based":[32,78,95],"on":[33,103],"recent":[35],"unified":[36],"framework":[37],"sound":[39,51],"value":[40],"iteration":[41],"algorithms.":[42],"Thereby,":[43],"Pet2":[44,89],"is":[45,98],"first":[47],"implementing":[49,75],"and":[52,65,74,97],"efficient":[53,93],"approach":[54,71],"solving":[56],"with":[59],"objectives":[60],"type":[63],"reachability/safety":[64],"mean":[66],"payoff.":[67],"complement":[69],"this":[70],"developing":[73],"partial-exploration":[77,94],"variant":[79],"all":[81],"three":[82],"objectives.":[83],"Our":[84],"experimental":[85],"evaluation":[86],"shows":[87],"that":[88],"offers":[90],"most":[92,100],"algorithm":[96],"viable":[101],"SGs,":[104],"even":[105],"outperforming":[106],"unsound":[107],"tools.":[108]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}