{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:16Z","timestamp":1779074596240,"version":"3.51.4"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032087065","type":"print"},{"value":"9783032087072","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T00:00:00Z","timestamp":1761436800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-08707-2_8","type":"book-chapter","created":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T22:33:35Z","timestamp":1761431615000},"page":"157-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Dynamic Shielding for\u00a0Parametric Safety Specifications"],"prefix":"10.1007","author":[{"given":"Davide","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaushik","family":"Mallik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andoni","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,26]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-642-54862-8_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Almagor","year":"2014","unstructured":"Almagor, S., Boker, U., Kupferman, O.: Discounting in LTL. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 424\u2013439. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_37"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u00f6nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a032 (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"8_CR3","unstructured":"Amir, G., Schapira, M., Katz, G.: Towards scalable verification of deep reinforcement learning. In: Proceedings of 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 193\u2013203 (2021)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Anand, A., Nayak, S.P., Schmuck, A.K.: Synthesizing permissive winning strategy templates for parity games. In: International Conference on Computer Aided Verification, pp. 436\u2013458. Springer (2023)","DOI":"10.1007\/978-3-031-37706-8_22"},{"key":"8_CR5","first-page":"100131","volume":"37","author":"A Banerjee","year":"2024","unstructured":"Banerjee, A., Rahmani, K., Biswas, J., Dillig, I.: Dynamic model predictive shielding for provably safe reinforcement learning. Adv. Neural. Inf. Process. Syst. 37, 100131\u2013100159 (2024)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bharadwaj, S., Bloem, R., Dimitrova, R., Konighofer, B., Topcu, U.: Synthesis of minimum-cost shields for multi-agent systems. In: 2019 American Control Conference (ACC), pp. 1048\u20131055. IEEE (2019)","DOI":"10.23919\/ACC.2019.8815233"},{"key":"8_CR7","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":"8_CR8","doi-asserted-by":"crossref","unstructured":"Brorholt, A.H., H\u00f8eg-Petersen, A.H., Larsen, K.G., Schilling, C.: Efficient shield synthesis via state-space transformation. In: International Conference on Bridging the Gap between AI and Reality, pp. 206\u2013224. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_14"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Carr, S., Jansen, N., Junges, S., Topcu, U.: Safe reinforcement learning via shielding under partial observability. In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, 7\u201314 February 2023, pp. 14748\u201314756. AAAI Press (2023). https:\/\/doi.org\/10.1609\/AAAI.V37I12.26723","DOI":"10.1609\/AAAI.V37I12.26723"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"C\u00f3rdoba, F.C., Palmisano, A., Fr\u00e4nzle, M., Bloem, R., K\u00f6nighofer, B.: Safety shielding under delayed observation. In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023), pp. 80\u201385. AAAI Press (2023). https:\/\/doi.org\/10.1609\/ICAPS.V33I1.27181","DOI":"10.1609\/ICAPS.V33I1.27181"},{"key":"8_CR11","first-page":"1759","volume":"4","author":"D Corsi","year":"2024","unstructured":"Corsi, D., Amir, G., Rodr\u00edguez, A., Katz, G., S\u00e1nchez, C., Fox, R.: Verification-guided shielding for deep reinforcement learning. RLJ 4, 1759\u20131780 (2024)","journal-title":"RLJ"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Debot, D., Venturato, G., Marra, G., Raedt, L.D.: Neurosymbolic reinforcement learning: playing minihack with probabilistic logic shields. In: AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, 25 February\u20134 March 2025, Philadelphia, PA, USA, pp. 29631\u201329633. AAAI Press (2025). https:\/\/doi.org\/10.1609\/AAAI.V39I28.35349","DOI":"10.1609\/AAAI.V39I28.35349"},{"key":"8_CR13","unstructured":"ElSayed-Aly, I., Bharadwaj, S., Amato, C., Ehlers, R., Topcu, U., Feng, L.: Safe multi-agent reinforcement learning via shielding. arXiv preprint arXiv:2101.11196 (2021)"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Favorito, M.: Forward LTLF synthesis: DPLL at work. CoRR abs\/2302.13825 (2023). https:\/\/doi.org\/10.48550\/arXiv.2302.13825","DOI":"10.48550\/arXiv.2302.13825"},{"issue":"OOPSLA1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1145\/3720450","volume":"9","author":"Y Feng","year":"2025","unstructured":"Feng, Y., Zhu, J., Platzer, A., Laurent, J.: Adaptive shielding via parametric safety proofs. Proc. ACM Program. Lang. 9(OOPSLA1), 816\u2013843 (2025)","journal-title":"Proc. ACM Program. Lang."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Fridovich-Keil, D., Herbert, S.L., Fisac, J.F., Deglurkar, S., Tomlin, C.J.: Planning, fast and slow: a framework for adaptive real-time safe trajectory planning. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 387\u2013394. IEEE (2018)","DOI":"10.1109\/ICRA.2018.8460863"},{"key":"8_CR17","unstructured":"Giacomo, G.D., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 854\u2013860. IJCAI\/AAAI (2013). http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6997"},{"key":"8_CR18","unstructured":"Ha, D., Schmidhuber, J.: World models. CoRR abs\/1803.10122 (2018). http:\/\/arxiv.org\/abs\/1803.10122"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-46430-1_15","volume-title":"Hybrid Systems: Computation and Control","author":"TA Henzinger","year":"2000","unstructured":"Henzinger, T.A., Raskin, J.-F.: Robust undecidability of timed and hybrid systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 145\u2013159. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_15"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"5591","DOI":"10.1109\/LRA.2022.3155229","volume":"7","author":"H Hu","year":"2022","unstructured":"Hu, H., Nakamura, K., Fisac, J.F.: Sharp: shielding-aware robust planning for safe and efficient human-robot interaction. IEEE Robot. Autom. Lett. 7(2), 5591\u20135598 (2022)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Ivanov, R., Weimer, J., Alur, R., Pappas, G.J., Lee, I.: Verisig: verifying safety properties of hybrid systems with neural network controllers. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 169\u2013178 (2019)","DOI":"10.1145\/3302504.3311806"},{"key":"8_CR22","unstructured":"Jansen, N., K\u00f6nighofer, B., Junges, S., Bloem, R.: Shielded decision-making in MDPs. arXiv preprint arXiv:1807.06096 (2018)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Khoury, R., Hall\u00e9, S.: Tally keeping-LTL: an LTL semantics for quantitative evaluation of LTL specifications. In: 2018 IEEE International Conference on Information Reuse and Integration, IRI 2018, pp. 495\u2013502. IEEE (2018). https:\/\/doi.org\/10.1109\/IRI.2018.00079","DOI":"10.1109\/IRI.2018.00079"},{"key":"8_CR25","unstructured":"Kim, K., et al.: Realizable continuous-space shields for safe reinforcement learning. In: Proceedings of the 7th Annual Learning for Dynamics & Control Conference (L4DC\u201925). PMLR (2025). https:\/\/proceedings.mlr.press\/v242\/zhou24a.html"},{"issue":"2","key":"8_CR26","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/s10703-017-0276-9","volume":"51","author":"B K\u00f6nighofer","year":"2017","unstructured":"K\u00f6nighofer, B., et al.: Shield synthesis. Formal Methods Syst. Des. 51(2), 332\u2013361 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0276-9","journal-title":"Formal Methods Syst. Des."},{"issue":"4","key":"8_CR27","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s11334-022-00480-4","volume":"19","author":"B K\u00f6nighofer","year":"2023","unstructured":"K\u00f6nighofer, B., Rudolf, J., Palmisano, A., Tappler, M., Bloem, R.: Online shielding for reinforcement learning. Innovations Syst. Softw. Eng. 19(4), 379\u2013394 (2023)","journal-title":"Innovations Syst. Softw. Eng."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Li, S., Bastani, O.: Robust model predictive shielding for safe reinforcement learning with stochastic dynamics. In: 2020 IEEE International Conference on Robotics and Automation (ICRA), pp. 7166\u20137172. IEEE (2020)","DOI":"10.1109\/ICRA40945.2020.9196867"},{"issue":"8","key":"8_CR29","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1177\/0278364917712421","volume":"36","author":"A Majumdar","year":"2017","unstructured":"Majumdar, A., Tedrake, R.: Funnel libraries for real-time robust feedback motion planning. Int. J. Robot. Res. 36(8), 947\u2013982 (2017)","journal-title":"Int. J. Robot. Res."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.K., Soudjani, S.: A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In: International Conference on Computer Aided Verification, pp. 3\u201315. Springer (2023)","DOI":"10.1007\/978-3-031-37709-9_1"},{"key":"8_CR31","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2023.101430","volume":"51","author":"R Majumdar","year":"2024","unstructured":"Majumdar, R., Mallik, K., Schmuck, A.K., Soudjani, S.: Symbolic control for stochastic systems via finite parity games. Nonlinear Anal. Hybrid Syst 51, 101430 (2024)","journal-title":"Nonlinear Anal. Hybrid Syst"},{"key":"8_CR32","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)","journal-title":"IEEE Open J. Control Syst."},{"issue":"2","key":"8_CR33","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s10626-017-0243-z","volume":"27","author":"P Nilsson","year":"2017","unstructured":"Nilsson, P., Ozay, N., Liu, J.: Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2), 301\u2013340 (2017). https:\/\/doi.org\/10.1007\/s10626-017-0243-z","journal-title":"Discret. Event Dyn. Syst."},{"issue":"2","key":"8_CR34","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1137\/070698580","volume":"48","author":"G Pola","year":"2009","unstructured":"Pola, G., Tabuada, P.: Symbolic models for nonlinear control systems: alternating approximate bisimulations. SIAM J. Control. Optim. 48(2), 719\u2013733 (2009)","journal-title":"SIAM J. Control. Optim."},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-030-88885-5_15","volume-title":"Automated Technology for Verification and Analysis","author":"S Pranger","year":"2021","unstructured":"Pranger, S., K\u00f6nighofer, B., Posch, L., Bloem, R.: TEMPEST - synthesis tool for reactive systems and shields in probabilistic environments. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 222\u2013228. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_15"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Pranger, S., K\u00f6nighofer, B., Tappler, M., Deixelberger, M., Jansen, N., Bloem, R.: Adaptive shielding under uncertainty. In: 2021 American Control Conference (ACC), pp. 3467\u20133474. IEEE (2021)","DOI":"10.23919\/ACC50511.2021.9482889"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Quan, L., Zhang, Z., Zhong, X., Xu, C., Gao, F.: Eva-planner: environmental adaptive quadrotor planning. In: 2021 IEEE International Conference on Robotics and Automation (ICRA), pp. 398\u2013404. IEEE (2021)","DOI":"10.1109\/ICRA48506.2021.9561759"},{"issue":"1","key":"8_CR38","doi-asserted-by":"publisher","first-page":"21","DOI":"10.5829\/ije.2025.38.01a.03","volume":"38","author":"H Raeesi","year":"2025","unstructured":"Raeesi, H., Khosravi, A., Sarhadi, P.: Safe reinforcement learning by shielding based reachable zonotopes for autonomous vehicles. Int. J. Eng. 38(1), 21\u201334 (2025)","journal-title":"Int. J. Eng."},{"issue":"4","key":"8_CR39","doi-asserted-by":"publisher","first-page":"1781","DOI":"10.1109\/TAC.2016.2593947","volume":"62","author":"G Reissig","year":"2016","unstructured":"Reissig, G., Weber, A., Rungger, M.: Feedback refinement relations for the synthesis of symbolic controllers. IEEE Trans. Autom. Control 62(4), 1781\u20131796 (2016)","journal-title":"IEEE Trans. Autom. Control"},{"key":"8_CR40","doi-asserted-by":"publisher","unstructured":"Rodr\u00edguez, A., Amir, G., Corsi, D., S\u00e1nchez, C., Katz, G.: Shield synthesis for LTL modulo theories. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025), pp. 15134\u201315142. AAAI Press (2025). https:\/\/doi.org\/10.1609\/AAAI.V39I14.33660","DOI":"10.1609\/AAAI.V39I14.33660"},{"key":"8_CR41","unstructured":"Rodr\u00edguez, A., Shaik, I., Corsi, D., Fox, R., Sanchez, C.: Explanations for unrealizability of infinite-state safety shields. In: Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) (2025)"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Rungger, M., Zamani, M.: Scots: a tool for the synthesis of symbolic controllers. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 99\u2013104 (2016)","DOI":"10.1145\/2883817.2883834"},{"issue":"6","key":"8_CR43","doi-asserted-by":"publisher","first-page":"1406","DOI":"10.1109\/TAC.2008.925824","volume":"53","author":"P Tabuada","year":"2008","unstructured":"Tabuada, P.: An approximate simulation approach to symbolic control. IEEE Trans. Autom. Control 53(6), 1406\u20131418 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"8_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1007\/978-3-662-46681-0_60","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Dijk","year":"2015","unstructured":"Dijk, T., Pol, J.: Sylvan: multi-core decision diagrams. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 677\u2013691. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_60"},{"key":"8_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-46430-1_36","volume-title":"Hybrid Systems: Computation and Control","author":"R Vidal","year":"2000","unstructured":"Vidal, R., Schaffert, S., Lygeros, J., Sastry, S.: Controlled invariance of discrete time systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 437\u2013451. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_36"},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Waga, M., Castellano, E., Pruekprasert, S., Klikovits, S., Takisaka, T., Hasuo, I.: Dynamic shielding for reinforcement learning in black-box environments. In: International Symposium on Automated Technology for Verification and Analysis, pp. 25\u201341. Springer (2022)","DOI":"10.1007\/978-3-031-19992-9_2"},{"key":"8_CR47","doi-asserted-by":"publisher","unstructured":"Wu, M., Wang, J., Deshmukh, J., Wang, C.: Shield synthesis for real: enforcing safety in cyber-physical systems. In: Proceedings of 19th Formal Methods in Computer Aided Design, (FMCAD 2019), pp. 129\u2013137. IEEE (2019). https:\/\/doi.org\/10.23919\/FMCAD.2019.8894264","DOI":"10.23919\/FMCAD.2019.8894264"},{"key":"8_CR48","doi-asserted-by":"publisher","unstructured":"Yang, W., Marra, G., Rens, G., Raedt, L.D.: Safe reinforcement learning via probabilistic logic shields. In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence, (IJCAI 2023), pp. 5739\u20135749. ijcai.org (2023). https:\/\/doi.org\/10.24963\/IJCAI.2023\/637","DOI":"10.24963\/IJCAI.2023\/637"}],"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-032-08707-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T22:33:42Z","timestamp":1761431622000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08707-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,26]]},"ISBN":["9783032087065","9783032087072"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08707-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,26]]},"assertion":[{"value":"26 October 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":"Bengaluru","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/atva-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}