{"id":"https://openalex.org/W2280837719","doi":"https://doi.org/10.1007/978-3-662-49674-9_35","title":"PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games","display_name":"PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2280837719","doi":"https://doi.org/10.1007/978-3-662-49674-9_35","mag":"2280837719"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-49674-9_35","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49674-9_35","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.birmingham.ac.uk/en/publications/ed5f6008-9aef-472c-bf26-f36a8b3d73f6","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079920330","display_name":"MZ Kwiatkowska","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":null,"display_name":"David Parker","orcid":null},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Parker","raw_affiliation_strings":["School of Computer Science, University of Birmingham, Birmingham, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Birmingham, Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]},{"author_position":"last","author":{"id":null,"display_name":"Clemens Wiltsche","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Clemens Wiltsche","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079920330"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00698658,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"560","last_page":"566"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11810","display_name":"Complex Systems and Decision Making","score":0.9740999937057495,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9592000246047974,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.7183254957199097},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6333456039428711},{"id":"https://openalex.org/keywords/prism","display_name":"Prism","score":0.6129481196403503},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5939301252365112},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.584498405456543},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5333666205406189},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.48708486557006836},{"id":"https://openalex.org/keywords/strategy","display_name":"Strategy","score":0.4314038157463074},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3522283434867859},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.2964845299720764},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2128686010837555},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20995253324508667}],"concepts":[{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.7183254957199097},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6333456039428711},{"id":"https://openalex.org/C67666897","wikidata":"https://www.wikidata.org/wiki/Q165896","display_name":"Prism","level":2,"score":0.6129481196403503},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5939301252365112},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.584498405456543},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5333666205406189},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.48708486557006836},{"id":"https://openalex.org/C88959737","wikidata":"https://www.wikidata.org/wiki/Q1546627","display_name":"Strategy","level":3,"score":0.4314038157463074},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3522283434867859},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.2964845299720764},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2128686010837555},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20995253324508667},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-662-49674-9_35","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-49674-9_35","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:98d1374d-c0a3-4aa0-bf9c-67c9ddf1182b","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:98d1374d-c0a3-4aa0-bf9c-67c9ddf1182b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements at Oxford","raw_type":"Conference"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/ed5f6008-9aef-472c-bf26-f36a8b3d73f6","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/ed5f6008-9aef-472c-bf26-f36a8b3d73f6","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kwiatkowska, M, Parker, D & Wiltsche, C 2016, PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games. in M Chechik & J-F Raskin (eds), Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Lecture Notes in Computer Science, vol. 9636, Springer, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16), Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_35","raw_type":"contributionToPeriodical"},{"id":"mag:2280837719","is_oa":false,"landing_page_url":"https://ora.ouls.ox.ac.uk/objects/uuid:98d1374d-c0a3-4aa0-bf9c-67c9ddf1182b","pdf_url":null,"source":{"id":"https://openalex.org/S2764889284","display_name":"ORA review team","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"ORA review team","raw_type":null}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/ed5f6008-9aef-472c-bf26-f36a8b3d73f6","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/ed5f6008-9aef-472c-bf26-f36a8b3d73f6","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kwiatkowska, M, Parker, D & Wiltsche, C 2016, PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games. in M Chechik & J-F Raskin (eds), Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Lecture Notes in Computer Science, vol. 9636, Springer, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16), Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_35","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.8999999761581421,"id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G1208334278","display_name":null,"funder_award_id":"EP/L001802/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W34205182","https://openalex.org/W204760470","https://openalex.org/W1497161038","https://openalex.org/W1525468010","https://openalex.org/W1574269384","https://openalex.org/W1659646318","https://openalex.org/W1862398452","https://openalex.org/W1999766763","https://openalex.org/W2062873592","https://openalex.org/W2140105941","https://openalex.org/W2206317714","https://openalex.org/W2396841565","https://openalex.org/W2912198824"],"related_works":["https://openalex.org/W2414117530","https://openalex.org/W2206317714","https://openalex.org/W2356671789","https://openalex.org/W3042980517","https://openalex.org/W1659646318","https://openalex.org/W3048519602","https://openalex.org/W2899043600","https://openalex.org/W2036582885","https://openalex.org/W2174632947","https://openalex.org/W1519314965","https://openalex.org/W2977509914","https://openalex.org/W3109427444","https://openalex.org/W2139456106","https://openalex.org/W2166857474","https://openalex.org/W3186548105","https://openalex.org/W3031384348","https://openalex.org/W2967559388","https://openalex.org/W1865065689","https://openalex.org/W2103151730","https://openalex.org/W3138162409"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}