{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T15:22:19Z","timestamp":1782919339215,"version":"3.54.5"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227515","type":"print"},{"value":"9783032227522","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T00:00:00Z","timestamp":1776297600000},"content-version":"vor","delay-in-days":105,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22752-2_20","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T21:50:43Z","timestamp":1776289843000},"page":"377-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Concurrent Permissive Strategy Templates"],"prefix":"10.1007","author":[{"given":"Ashwani","family":"Anand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Calvin","family":"Chau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sascha","family":"Kl\u00fcppelholz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ali","family":"Mirzaei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Satya Prakash","family":"Nayak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,16]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","unstructured":"de\u00a0Alfaro, L., Henzinger, T.: Concurrent omega-regular games. In: Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332). pp. 141\u2013154 (2000). https:\/\/doi.org\/10.1109\/LICS.2000.855763","DOI":"10.1109\/LICS.2000.855763"},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"de\u00a0Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent reachability games. In: 39th Annual Symposium on Foundations of Computer Science, FOCS 1998, Palo Alto, California, USA, November 8-11, 1998. pp. 564\u2013575. IEEE Computer Society (1998). https:\/\/doi.org\/10.1109\/SFCS.1998.743507, https:\/\/doi.org\/10.1109\/SFCS.1998.743507","DOI":"10.1109\/SFCS.1998.743507"},{"key":"20_CR3","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996. pp. 207\u2013218. IEEE Computer Society (1996). https:\/\/doi.org\/10.1109\/LICS.1996.561320, https:\/\/doi.org\/10.1109\/LICS.1996.561320","DOI":"10.1109\/LICS.1996.561320"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002). https:\/\/doi.org\/10.1145\/585265.585270, https:\/\/doi.org\/10.1145\/585265.585270","DOI":"10.1145\/585265.585270"},{"key":"20_CR5","doi-asserted-by":"publisher","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: modularity in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) Computer Aided Verification, 10th International Conference, CAV \u201998, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science, vol.\u00a01427, pp. 521\u2013525. Springer (1998). https:\/\/doi.org\/10.1007\/BFB0028774, https:\/\/doi.org\/10.1007\/BFb0028774","DOI":"10.1007\/BFB0028774"},{"key":"20_CR6","unstructured":"Anand, A., Baier, C., Chau, C., Kl\u00fcppelholz, S., Mirzaei, A., Nayak, S.P., Schmuck, A.K.: Concurrent permissive strategy templates (extended version) (2026), https:\/\/arxiv.org\/abs\/2601.13500"},{"key":"20_CR7","doi-asserted-by":"publisher","unstructured":"Anand, A., Mallik, K., Nayak, S.P., Schmuck, A.: Computing adequately permissive assumptions for synthesis. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science, vol. 13994, pp. 211\u2013228. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30820-8_15, https:\/\/doi.org\/10.1007\/978-3-031-30820-8_15","DOI":"10.1007\/978-3-031-30820-8_15"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Anand, A., Nayak, S.P., Schmuck, A.K.: Synthesizing permissive winning strategy templates for parity games. In: Enea, C., Lal, A. (eds.) Computer Aided Verification. pp. 436\u2013458. Springer Nature Switzerland, Cham (2023)","DOI":"10.1007\/978-3-031-37706-8_22"},{"key":"20_CR9","doi-asserted-by":"publisher","unstructured":"Anand, A., Nayak, S.P., Schmuck, A.: Strategy templates - robust certified interfaces for interacting systems. In: Akshay, S., Niemetz, A., Sankaranarayanan, S. (eds.) Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol. 15054, pp. 22\u201341. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-78709-6_2, https:\/\/doi.org\/10.1007\/978-3-031-78709-6_2","DOI":"10.1007\/978-3-031-78709-6_2"},{"key":"20_CR10","doi-asserted-by":"publisher","unstructured":"Anand, A., Schmuck, A.K., Prakash\u00a0Nayak, S.: Contract-based distributed logical controller synthesis. In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control. HSCC \u201924, Association for Computing Machinery, New York, NY, USA (2024). https:\/\/doi.org\/10.1145\/3641513.3650123, https:\/\/doi.org\/10.1145\/3641513.3650123","DOI":"10.1145\/3641513.3650123"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"Anonymous: Artefact for tacas 2026 (Oct 2025). https:\/\/doi.org\/10.5281\/zenodo.17357028, https:\/\/doi.org\/10.5281\/zenodo.17357028","DOI":"10.5281\/zenodo.17357028"},{"key":"20_CR12","unstructured":"Bowling, M.H., Veloso, M.M.: Simultaneous adversarial multi-robot learning. In: Gottlob, G., Walsh, T. (eds.) IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pp. 699\u2013704. Morgan Kaufmann (2003), http:\/\/ijcai.org\/Proceedings\/03\/Papers\/102.pdf"},{"key":"20_CR13","doi-asserted-by":"publisher","unstructured":"Brenguier, R.: PRALINE: A tool for computing nash equilibria in concurrent games. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science, vol.\u00a08044, pp. 890\u2013895. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_63, https:\/\/doi.org\/10.1007\/978-3-642-39799-8_63","DOI":"10.1007\/978-3-642-39799-8_63"},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"Chatterjee, K.: Concurrent games with tail objectives. Theor. Comput. Sci. 388(1-3), 181\u2013198 (2007). https:\/\/doi.org\/10.1016\/J.TCS.2007.07.047, https:\/\/doi.org\/10.1016\/j.tcs.2007.07.047","DOI":"10.1016\/J.TCS.2007.07.047"},{"key":"20_CR15","doi-asserted-by":"publisher","unstructured":"Cheng, C., Knoll, A.C., Luttenberger, M., Buckl, C.: GAVS+: an open platform for the research of algorithmic game solving. In: Abdulla, P.A., Leino, K.R.M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr\u00fccken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science, vol.\u00a06605, pp. 258\u2013261. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-19835-9_22, https:\/\/doi.org\/10.1007\/978-3-642-19835-9_22","DOI":"10.1007\/978-3-642-19835-9_22"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy. In: FOCS\u201991. pp. 368\u2013377 (1991)","DOI":"10.1109\/SFCS.1991.185392"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"Etessami, K., Yannakakis, M.: On the complexity of nash equilibria and other fixed points. SIAM J. Comput. 39(6), 2531\u20132597 (2010). https:\/\/doi.org\/10.1137\/080720826, https:\/\/doi.org\/10.1137\/080720826","DOI":"10.1137\/080720826"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Aiswarya, C., Avni, G., Bertrand, N., Bouyer, P., Brenguier, R., Carayol, A., Casares, A., Fearnley, J., Gastin, P., Gimbert, H., Henzinger, T.A., Horn, F., Ibsen-Jensen, R., Markey, N., Monmege, B., Novotn\u00ff, P., Ohlmann, P., Randour, M., Sankur, O., Schmitz, S., Serre, O., Skomra, M., Sznajder, N., Vandenhove, P.: Games on Graphs: From Logic and Automata to Algorithms. Online (2025)","DOI":"10.1017\/9781009500678"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B.: Synthesis of reactive systems. In: Dependable Software Systems Engineering, pp. 72\u201398. IOS Press (2016)","DOI":"10.3233\/978-1-61499-627-9-72"},{"key":"20_CR20","doi-asserted-by":"publisher","unstructured":"Gutierrez, J., Najib, M., Perelli, G., Wooldridge, M.J.: EVE: A tool for temporal equilibrium analysis. In: Lahiri, S.K., Wang, C. (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science, vol. 11138, pp. 551\u2013557. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_35, https:\/\/doi.org\/10.1007\/978-3-030-01090-4_35","DOI":"10.1007\/978-3-030-01090-4_35"},{"key":"20_CR21","unstructured":"Henzinger, T.A.: Games in system design and verification. In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge. p. 1\u20134. TARK \u201905, National University of Singapore, SGP (2005)"},{"key":"20_CR22","doi-asserted-by":"publisher","unstructured":"Jacobs, S., P\u00e9rez, G.A., Abraham, R., Bruy\u00e8re, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K.J., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P., Sakr, M., Sickert, S., Staquet, G., Tamines, C., Tentrup, L., Walker, A.: The reactive synthesis competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 26(5), 551\u2013567 (2024). https:\/\/doi.org\/10.1007\/S10009-024-00754-1, https:\/\/doi.org\/10.1007\/s10009-024-00754-1","DOI":"10.1007\/S10009-024-00754-1"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. Theoretical computer science 27(3), 333\u2013354 (1983)","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Lahijanian, M., Raman, V.: Synthesis for robots: Guarantees and feedback for robot behavior. Annual Review of Control, Robotics, and Autonomous Systems 1(1), 211\u2013236 (2018)","DOI":"10.1146\/annurev-control-060117-104838"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Santos, G.: Prism-games 3.0: Stochastic game verification with concurrency, equilibria and time. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification. pp. 475\u2013487. Springer International Publishing, Cham (2020)","DOI":"10.1007\/978-3-030-53291-8_25"},{"key":"20_CR26","doi-asserted-by":"publisher","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19(1), 9\u201330 (2017). https:\/\/doi.org\/10.1007\/S10009-015-0378-X, https:\/\/doi.org\/10.1007\/s10009-015-0378-x","DOI":"10.1007\/S10009-015-0378-X"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Nayak, S.P., Egidio, L.N., Della\u00a0Rossa, M., Schmuck, A.K., Jungers, R.M.: Context-triggered abstraction-based control design. IEEE Open Journal of Control Systems 2, 277\u2013296 (2023)","DOI":"10.1109\/OJCSYS.2023.3305835"},{"key":"20_CR28","unstructured":"Nayak, S.P., Schmuck, A.K.: Most general winning secure equilibria synthesis in graph games. In: Finkbeiner, B., Kov\u00e1cs, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 173\u2013193. Springer Nature Switzerland, Cham (2024)"},{"key":"20_CR29","doi-asserted-by":"publisher","unstructured":"Nisan, N., Roughgarden, T., \u00c9va Tardos, Vazirani, V.V. (eds.): Algorithmic Game Theory. Cambridge University Press (2007). https:\/\/doi.org\/10.1017\/CBO9780511800481, https:\/\/doi.org\/10.1017\/CBO9780511800481","DOI":"10.1017\/CBO9780511800481"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Phalakarn, K., Pruekprasert, S., Hasuo, I.: Winning strategy templates for stochastic parity games towards permissive and resilient control. In: Anutariya, C., Bonsangue, M.M. (eds.) Theoretical Aspects of Computing \u2013 ICTAC 2024. pp. 197\u2013214. Springer Nature Switzerland, Cham (2025)","DOI":"10.1007\/978-3-031-77019-7_12"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Shapley, L.S.: Stochastic games. Proceedings of the national academy of sciences 39(10), 1095\u20131100 (1953)","DOI":"10.1073\/pnas.39.10.1953"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Tabuada, P.: Verification and control of hybrid systems: a symbolic approach. Springer (2009)","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"20_CR34","unstructured":"Wang, Y., Dantam, N.T., Chaudhuri, S., Kavraki, L.E.: Task and motion policy synthesis as liveness games. In: Coles, A.J., Coles, A., Edelkamp, S., Magazzeni, D., Sanner, S. (eds.) Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. p.\u00a0536. AAAI Press (2016), http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS16\/paper\/view\/13146"},{"key":"20_CR35","unstructured":"Xiong, L., Liu, Y.: Strategy representation and reasoning for incomplete information concurrent games in the situation calculus. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pp. 1322\u20131329. IJCAI\/AAAI Press (2016), http:\/\/www.ijcai.org\/Abstract\/16\/191"},{"key":"20_CR36","doi-asserted-by":"publisher","unstructured":"Yin, X., Gao, B., Yu, X.: Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges. Annual Reviews in Control 57, 100940 (2024). https:\/\/doi.org\/10.1016\/j.arcontrol.2024.100940","DOI":"10.1016\/j.arcontrol.2024.100940"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22752-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T02:37:38Z","timestamp":1782873458000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22752-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227515","9783032227522"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22752-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"16 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}