{"id":"https://openalex.org/W7154450998","doi":"https://doi.org/10.1007/978-3-032-22752-2_20","title":"Concurrent Permissive Strategy Templates","display_name":"Concurrent Permissive Strategy Templates","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7154450998","doi":"https://doi.org/10.1007/978-3-032-22752-2_20"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-22752-2_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_20.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","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-032-22752-2_20.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040682288","display_name":"Ashwani Anand","orcid":"https://orcid.org/0000-0002-9462-8514"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ashwani Anand","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091344667","display_name":"Christel Baier","orcid":"https://orcid.org/0000-0002-5321-9343"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christel Baier","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133653863","display_name":"Calvin Chau","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Calvin Chau","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028850927","display_name":"Sascha Kl\u00fcppelholz","orcid":"https://orcid.org/0000-0003-1724-2586"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sascha Kl\u00fcppelholz","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133710213","display_name":"Ali Mirzaei","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ali Mirzaei","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013573130","display_name":"Satya Prakash Nayak","orcid":"https://orcid.org/0000-0002-4407-8681"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Satya Prakash Nayak","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039498617","display_name":"Anne-Kathrin Schmuck","orcid":"https://orcid.org/0000-0003-2801-639X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Anne-Kathrin Schmuck","raw_affiliation_strings":["Max Planck Institute for Software Systems, Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5039498617"],"corresponding_institution_ids":["https://openalex.org/I4210121786"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":243.6429,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.99926697,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"377","last_page":"397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11762","display_name":"Law, Economics, and Judicial Systems","score":0.013899999670684338,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11762","display_name":"Law, Economics, and Judicial Systems","score":0.013899999670684338,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10315","display_name":"Decision-Making and Behavioral Economics","score":0.01269999984651804,"subfield":{"id":"https://openalex.org/subfields/1800","display_name":"General Decision Sciences"},"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/T11883","display_name":"Embodied and Extended Cognition","score":0.012500000186264515,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/template","display_name":"Template","score":0.7031000256538391},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6134999990463257},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5701000094413757},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4943000078201294},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.47360000014305115},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4311000108718872},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.42010000348091125},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.3991999924182892}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8784999847412109},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.7031000256538391},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6134999990463257},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5701000094413757},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4943000078201294},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47909998893737793},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.47360000014305115},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4311000108718872},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42669999599456787},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.42010000348091125},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.3991999924182892},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37119999527931213},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2872999906539917},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2809000015258789},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.25609999895095825},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-22752-2_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_20.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","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-032-22752-2_20","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_20","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_20.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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1375572575","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G1510891895","display_name":null,"funder_award_id":"389792660 TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3311992378","display_name":null,"funder_award_id":"SCHM 3541/1-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3962681082","display_name":null,"funder_award_id":"ID 390696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5086605701","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320321613","funder_display_name":"Technische Universit\u00e4t Dresden"},{"id":"https://openalex.org/G5154814024","display_name":null,"funder_award_id":"390696704","funder_id":"https://openalex.org/F4320321613","funder_display_name":"Technische Universit\u00e4t Dresden"},{"id":"https://openalex.org/G6632524517","display_name":null,"funder_award_id":"(DFG, Deutsche Forschungsgemeinschaft)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7453299778","display_name":null,"funder_award_id":"90696704","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320318428","display_name":"Max Planck Institute for Software Systems","ror":null},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321613","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7154450998.pdf","grobid_xml":"https://content.openalex.org/works/W7154450998.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W34205182","https://openalex.org/W204760470","https://openalex.org/W1596365597","https://openalex.org/W1982922419","https://openalex.org/W1991624978","https://openalex.org/W2015640848","https://openalex.org/W2016206563","https://openalex.org/W2031522732","https://openalex.org/W2048905609","https://openalex.org/W2105702545","https://openalex.org/W2142008356","https://openalex.org/W2170933628","https://openalex.org/W2296646831","https://openalex.org/W2487779201","https://openalex.org/W2508573783","https://openalex.org/W2562147820","https://openalex.org/W2573798417","https://openalex.org/W2784743256","https://openalex.org/W2893380061","https://openalex.org/W3042980517","https://openalex.org/W4254547512","https://openalex.org/W4366446926","https://openalex.org/W4384471343","https://openalex.org/W4385864287","https://openalex.org/W4392719125","https://openalex.org/W4393942785","https://openalex.org/W4396571379","https://openalex.org/W4399543481","https://openalex.org/W4404575021","https://openalex.org/W4407013457","https://openalex.org/W7092298243","https://openalex.org/W7154450998"],"related_works":[],"abstract_inverted_index":{"Two-player":[0],"games":[1,73],"on":[2,43],"finite":[3],"graphs":[4],"provide":[5],"a":[6,62,145],"rigorous":[7],"foundation":[8],"for":[9,51,65,104,110],"modeling":[10],"the":[11,26,44],"strategic":[12],"interaction":[13],"between":[14],"reactive":[15],"systems":[16,33],"and":[17,77,91,142,148],"their":[18,35],"environment.":[19],"While":[20],"concurrent":[21,56,72],"game":[22],"semantics":[23],"naturally":[24],"capture":[25],"synchronous":[27],"interactions":[28],"characteristic":[29],"of":[30,46,67,85],"many":[31],"cyber-physical":[32],"(CPS),":[34],"adoption":[36],"in":[37,71,126,144],"CPS":[38],"design":[39],"remains":[40],"limited.":[41],"Building":[42],"concept":[45],"permissive":[47],"strategy":[48,58],"templates":[49,59,109],"(PeSTels)":[50],"turn-based":[52],"games,":[53],"we":[54,95,116],"introduce":[55],"(permissive)":[57],"(ConSTels)":[60],"\u2013":[61],"novel":[63],"representation":[64],"sets":[66],"randomized":[68],"winning":[69],"strategies":[70],"with":[74],"Safety,":[75],"B\u00fcchi,":[76],"Co-B\u00fcchi":[78],"objectives.":[79,114],"ConSTels":[80,103,119],"compactly":[81],"encode":[82],"infinite":[83],"families":[84],"strategies,":[86],"thereby":[87],"supporting":[88],"both":[89],"offline":[90],"online":[92],"adaptation.":[93],"Offline,":[94],"exploit":[96],"compositionality":[97],"to":[98,128,132],"enable":[99],"incremental":[100],"synthesis:":[101],"combining":[102],"simpler":[105],"objectives":[106],"into":[107],"non-conflicting":[108],"more":[111],"complex":[112],"combined":[113],"Online,":[115],"demonstrate":[117],"how":[118],"facilitate":[120],"runtime":[121],"adaptation,":[122],"adjusting":[123],"action":[124],"probabilities":[125],"response":[127],"observed":[129],"opponent":[130],"behavior":[131],"optimize":[133],"performance":[134],"while":[135],"preserving":[136],"correctness.":[137],"We":[138],"implemented":[139],"ConSTel":[140],"synthesis":[141],"adaptation":[143],"prototype":[146],"tool":[147],"experimentally":[149],"show":[150],"its":[151],"potential.":[152]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2026-04-16T00:00:00"}