{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:56:14Z","timestamp":1776333374007,"version":"3.51.2"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031787089","type":"print"},{"value":"9783031787096","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-78709-6_2","type":"book-chapter","created":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:10:30Z","timestamp":1738361430000},"page":"22-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Strategy Templates"],"prefix":"10.1007","author":[{"given":"Ashwani","family":"Anand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satya Prakash","family":"Nayak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,1]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-031-30820-8_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Anand","year":"2023","unstructured":"Anand, A., Mallik, K., Nayak, S.P., Schmuck, A.K.: Computing adequately permissive assumptions for synthesis. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 211\u2013228. Springer, Cham (2023)"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"Anand, A., Nayak, S.P., Schmuck, A.: Synthesizing permissive winning strategy templates for parity games. In: Enea, C., Lal, A. (eds.) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. Lecture Notes in Computer Science, vol. 13964, pp. 436\u2013458. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_22","DOI":"10.1007\/978-3-031-37706-8_22"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Anand, A., Schmuck, A., Nayak, S.P.: Contract-based distributed logical controller synthesis. In: \u00c1brah\u00e1m, E., Jr., M.M. (eds.) Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 11:1\u201311:11. ACM (2024). https:\/\/doi.org\/10.1145\/3641513.3650123","DOI":"10.1145\/3641513.3650123"},{"key":"2_CR4","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Belta, C., Yordanov, B., Gol, E.: Formal Methods for Discrete-Time Dynamical Systems, Studies in Systems, Decision and Control, vol.\u00a015. Springer (2017)","DOI":"10.1007\/978-3-319-50763-7"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.F.: Algorithms for omega-regular games with imperfect information. Logical Methods Comput. Sci. 3 (2007)","DOI":"10.2168\/LMCS-3(3:4)2007"},{"issue":"1\u20132","key":"2_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.tcs.2006.07.032","volume":"365","author":"K Chatterjee","year":"2006","unstructured":"Chatterjee, K., Henzinger, T.A., Jurdzi\u0144ski, M.: Games with secure equilibria. Theoret. Comput. Sci. 365(1\u20132), 67\u201382 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR8","unstructured":"Jacobs, S., et al.: The reactive synthesis competition (SYNTCOMP): 2018\u20132021. arXiv preprint arXiv:2206.00251 (2022)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/OJCSYS.2023.3305835","volume":"2","author":"SP Nayak","year":"2023","unstructured":"Nayak, S.P., Egidio, L.N., Della Rossa, M., Schmuck, A.K., Jungers, R.M.: Context-triggered abstraction-based control design. IEEE Open J. Control Syst. 2, 277\u2013296 (2023). https:\/\/doi.org\/10.1109\/OJCSYS.2023.3305835","journal-title":"IEEE Open J. Control Syst."},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Nayak, S.P., Schmuck, A.: 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 - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. LNCS, vol. 14572, pp. 173\u2013193. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-57256-2_9","DOI":"10.1007\/978-3-031-57256-2_9"},{"issue":"4","key":"2_CR11","first-page":"1781","volume":"62","author":"G Reissig","year":"2017","unstructured":"Reissig, G., Weber, A., Rungger, M.: Feedback refinement relations for the synthesis of symbolic controllers. TAC 62(4), 1781\u20131796 (2017)","journal-title":"TAC"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Saha, S., Julius, A.A.: An MILP approach for real-time optimal controller synthesis with metric temporal logic specifications. In: 2016 American Control Conference (ACC), pp. 1105\u20131110 (2016). https:\/\/doi.org\/10.1109\/ACC.2016.7525063","DOI":"10.1109\/ACC.2016.7525063"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Sanfelice, R.G.: Hybrid Feedback Control. Princeton University Press (2020)","DOI":"10.1515\/9780691189536"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Schmuck, A.K., Heim, P., Dimitrova, R., Nayak, S.P.: Localized attractor computations for infinite-state games. In: Gurfinkel, A., Ganesh, V. (eds.) Computer Aided Verification. CAV 2024. LNCS, vol. 14683, pp. 135\u2013158. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-65633-0_7","DOI":"10.1007\/978-3-031-65633-0_7"},{"key":"2_CR15","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems - A Symbolic Approach. Springer (2009). http:\/\/www.springer.com\/mathematics\/applications\/book\/978-1-4419-0223-8"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00009-7","volume":"200","author":"W Zielonka","year":"1998","unstructured":"Zielonka, W.: Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theoret. Comput. Sci. 200(1), 135\u2013183 (1998)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78709-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:10:35Z","timestamp":1738361435000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78709-6_2"}},"subtitle":["\u2013 Robust Certified Interfaces for Interacting Systems"],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031787089","9783031787096"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78709-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kyoto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}