{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:44:50Z","timestamp":1778121890050,"version":"3.51.4"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031754333","type":"print"},{"value":"9783031754340","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"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-75434-0_14","type":"book-chapter","created":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T09:24:15Z","timestamp":1735464255000},"page":"206-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Efficient Shield Synthesis via\u00a0State-Space Transformation"],"prefix":"10.1007","author":[{"given":"Asger Horn","family":"Brorholt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas Holck","family":"H\u00f8eg-Petersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,30]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: AAAI, pp. 2669\u20132678. AAAI Press (2018). https:\/\/doi.org\/10.1609\/aaai.v32i1.11797","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Bacci, G., Bacci, G., Larsen, K.G., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient local computation of differential bisimulations via coupling and up-to methods. In: LICS, pp. 1\u201314. IEEE (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470555","DOI":"10.1109\/LICS52264.2021.9470555"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Bastani, O., Li, S.: Safe reinforcement learning via statistical model predictive shielding. In: Robotics (2021). https:\/\/doi.org\/10.15607\/RSS.2021.XVII.026","DOI":"10.15607\/RSS.2021.XVII.026"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1051\/ita:2002013","volume":"36","author":"J Bernet","year":"2002","unstructured":"Bernet, J., Janin, D., Walukiewicz, I.: Permissive strategies: from parity games to safety games. RAIRO Theor. Inform. Appl. 36(3), 261\u2013275 (2002). https:\/\/doi.org\/10.1051\/ita:2002013","journal-title":"RAIRO Theor. Inform. Appl."},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-662-46681-0_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Bloem","year":"2015","unstructured":"Bloem, R., K\u00f6nighofer, B., K\u00f6nighofer, R., Wang, C.: Shield Synthesis: runtime enforcement for reactive systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 533\u2013548. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_51"},{"key":"14_CR6","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-031-46002-9_3","volume-title":"AISoLA","author":"AH Brorholt","year":"2023","unstructured":"Brorholt, A.H., Jensen, P.G., Larsen, K.G., Lorber, F., Schilling, C.: Shielded reinforcement learning for hybrid systems. In: Steffen, B. (ed.) AISoLA. LNCS, vol. 14380, pp. 33\u201354. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_3"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31(1), 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.arcontrol.2018.09.005","volume":"46","author":"L Busoniu","year":"2018","unstructured":"Busoniu, L., de Bruin, T., Tolic, D., Kober, J., Palunko, I.: Reinforcement learning for control: performance, stability, and deep approximators. Annu. Rev. Control. 46, 8\u201328 (2018). https:\/\/doi.org\/10.1016\/j.arcontrol.2018.09.005","journal-title":"Annu. Rev. Control."},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Calbert, J., Banse, A., Legat, B., Jungers, R.M.: Dionysos.jl: a modular platform for smart symbolic control. CoRR abs\/2404.14114 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2404.14114","DOI":"10.48550\/ARXIV.2404.14114"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Calbert, J., Egidio, L.N., Jungers, R.M.: Smart abstraction based on iterative cover and non-uniform cells. IEEE Control Syst. Lett. (2024)","DOI":"10.1109\/LCSYS.2024.3409106"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252. ACM (1977). https:\/\/doi.org\/10.1145\/512950.512973","DOI":"10.1145\/512950.512973"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A David","year":"2014","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Legay, A., Lime, D., S\u00f8rensen, M.G., Taankvist, J.H.: On time with minimal expected cost! In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16"},{"key":"14_CR14","unstructured":"Doyle, J.C., Francis, B.A., Tannenbaum, A.R.: Feedback Control Theory. Courier Corporation (2013)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Draper, N.R., Smith, H.: Applied Regression Analysis. Wiley, New York (1998)","DOI":"10.1002\/9781118625590"},{"key":"14_CR16","doi-asserted-by":"publisher","unstructured":"Egidio, L.N., Lima, T.A., Jungers, R.M.: State-feedback abstractions for optimal control of piecewise-affine systems. In: CDC, pp. 7455\u20137460. IEEE (2022). https:\/\/doi.org\/10.1109\/CDC51059.2022.9992495","DOI":"10.1109\/CDC51059.2022.9992495"},{"key":"14_CR17","unstructured":"Florian, R.V.: Correct equations for the dynamics of the cart-pole system. Technical report, Center for Cognitive and Neural Studies (Coneural) (2005). https:\/\/coneural.org\/florian\/papers\/05_cart_pole.pdf"},{"issue":"5","key":"14_CR18","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1016\/J.AUTOMATICA.2012.02.037","volume":"48","author":"A Girard","year":"2012","unstructured":"Girard, A.: Controller synthesis for safety and reachability via approximate bisimulation. Automatica 48(5), 947\u2013953 (2012). https:\/\/doi.org\/10.1016\/J.AUTOMATICA.2012.02.037","journal-title":"Automatica"},{"issue":"6","key":"14_CR19","doi-asserted-by":"publisher","first-page":"1537","DOI":"10.1109\/TAC.2015.2478131","volume":"61","author":"A Girard","year":"2016","unstructured":"Girard, A., G\u00f6\u00dfler, G., Mouelhi, S.: Safety controller synthesis for incrementally stable switched systems using multiscale symbolic models. IEEE Trans. Autom. Control 61(6), 1537\u20131549 (2016). https:\/\/doi.org\/10.1109\/TAC.2015.2478131","journal-title":"IEEE Trans. Autom. Control"},{"key":"14_CR20","unstructured":"H\u00f8eg-Petersen, A.H., Larsen, K.G., Wa\u0327sowski, A., Jensen, P.G.: Minimizing state space partitionings using decision trees. In: NWPT (2023). https:\/\/mdu.drive.sunet.se\/index.php\/s\/DtC47mJbPdyBREY"},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Hsu, K., Majumdar, R., Mallik, K., Schmuck, A.: Lazy abstraction-based control for safety specifications. In: CDC, pp. 4902\u20134907. IEEE (2018). https:\/\/doi.org\/10.1109\/CDC.2018.8619659","DOI":"10.1109\/CDC.2018.8619659"},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Hsu, K., Majumdar, R., Mallik, K., Schmuck, A.: Multi-layered abstraction-based controller synthesis for continuous-time systems. In: HSCC, pp. 120\u2013129. ACM (2018). https:\/\/doi.org\/10.1145\/3178126.3178143","DOI":"10.1145\/3178126.3178143"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-030-31784-3_5","volume-title":"Automated Technology for Verification and Analysis","author":"M Jaeger","year":"2019","unstructured":"Jaeger, M., Jensen, P.G., Guldstrand Larsen, K., Legay, A., Sedwards, S., Taankvist, J.H.: Teaching stratego to play ball: optimal synthesis for continuous space MDPs. In: Chen, Y.-F., Cheng, C.-H., Esparza, J. (eds.) ATVA 2019. LNCS, vol. 11781, pp. 81\u201397. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31784-3_5"},{"key":"14_CR24","doi-asserted-by":"publisher","unstructured":"Jansen, N., K\u00f6nighofer, B., Junges, S., Serban, A., Bloem, R.: Safe reinforcement learning using probabilistic shields. In: CONCUR. LIPIcs, vol.\u00a0171, pp. 3:1\u20133:16. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.3","DOI":"10.4230\/LIPIcs.CONCUR.2020.3"},{"key":"14_CR25","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-031-57249-4_17","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems - TACAS","author":"A Jim\u00e9nez-Pastor","year":"2024","unstructured":"Jim\u00e9nez-Pastor, A., Larsen, K.G., Tribastone, M., Tschaikowski, M.: Forward and backward constrained bisimulations for quantum circuits. In: Finkbeiner, B., Kov\u00e1cs, L. (eds.) TACAS 2024. LNCS, vol. 14571, pp. 343\u2013362. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-57249-4_17"},{"issue":"1","key":"14_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991). https:\/\/doi.org\/10.1016\/0890-5401(91)90030-6","journal-title":"Inf. Comput."},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Lewis, F.L., Vrabie, D., Syrmos, V.L.: Optimal Control. Wiley, New York (2012)","DOI":"10.1002\/9781118122631"},{"key":"14_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78841-6","volume-title":"Model Order Reduction: Theory, Research Aspects and Applications","author":"WH Schilders","year":"2008","unstructured":"Schilders, W.H., Van der Vorst, H.A., Rommes, J.: Model Order Reduction: Theory, Research Aspects and Applications, vol. 13. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78841-6"},{"key":"14_CR29","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, Heidelberg (2009). http:\/\/www.springer.com\/mathematics\/applications\/book\/978-1-4419-0223-8"},{"key":"14_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109597","volume":"129","author":"KP Wabersich","year":"2021","unstructured":"Wabersich, K.P., Zeilinger, M.N.: A predictive safety filter for learning-based control of constrained nonlinear dynamical systems. Automatica 129, 109597 (2021). https:\/\/doi.org\/10.1016\/j.automatica.2021.109597","journal-title":"Automatica"},{"issue":"11","key":"14_CR31","doi-asserted-by":"publisher","first-page":"5816","DOI":"10.1109\/TAC.2016.2642794","volume":"62","author":"A Weber","year":"2017","unstructured":"Weber, A., Rungger, M., Reissig, G.: Optimized state space grids for abstractions. IEEE Trans. Autom. Control 62(11), 5816\u20135821 (2017). https:\/\/doi.org\/10.1109\/TAC.2016.2642794","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75434-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T10:03:42Z","timestamp":1735466622000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75434-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,30]]},"ISBN":["9783031754333","9783031754340"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75434-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,30]]},"assertion":[{"value":"30 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"30 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}