{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:55:05Z","timestamp":1757627705366,"version":"3.44.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032009418"},{"type":"electronic","value":"9783032009425"}],"license":[{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"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-00942-5_8","type":"book-chapter","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:13Z","timestamp":1756296193000},"page":"144-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Robust Spatio-Temporal Logic Semantics for\u00a0Autonomous Driving Systems Falsification"],"prefix":"10.1007","author":[{"given":"Tiago","family":"Sequeira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9452-0995","authenticated-orcid":false,"given":"Andr\u00e9","family":"Matos Pedro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Abbas, H., Fainekos, G., Sankaranarayanan, S., Ivancic, F., Gupta, A.: Probabilistic temporal logic falsification of cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(2s):95:1\u201395:30 (2013)","DOI":"10.1145\/2465787.2465797"},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J.: Handbook of Spatial Logics. Springer, Cham (2007)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L.: Monitoring mobile and spatially distributed cyber-physical systems. In: MEMOCODE, pp. 146\u2013155. ACM (2017)","DOI":"10.1145\/3127041.3127050"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10009-024-00740-7","volume":"26","author":"A de Matos Pedro","year":"2024","unstructured":"de Matos Pedro, A., Silva, T., Sequeira, T.F., Louren\u00e7o, J., Seco, J.C., Ferreira, C.: Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. 26(2), 169\u2013188 (2024)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Delahaye, D., Chaimatanan, S., Mongeau, M.: Simulated annealing: from basics to applications. In: Handbook of Metaheuristics, pp. 1\u201335 (2019)","DOI":"10.1007\/978-3-319-91086-4_1"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"issue":"42","key":"8_CR7","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Sankaranarayanan, S., Ueda, K., Yazarel, H.: Verification of automotive control applications using s-taliro. In: American Control Conference, ACC 2012, Montreal, QC, Canada, 27\u201329 June 2012, pp. 3567\u20133572. IEEE (2012)","DOI":"10.1109\/ACC.2012.6315384"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D Gabelaia","year":"2005","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, \u00c1., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: expressiveness vs. complexity. J. Artif. Intell. Res. 23, 167\u2013243 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Jones, A., Kong, Z., Bartocci, E., Grosu, R., Belta, C.: Spatel: a novel spatial-temporal logic and its applications to networked systems. In: HSCC, pp. 189\u2013198. ACM (2015)","DOI":"10.1145\/2728606.2728633"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hasuo, I., Ishikawa, F.: Safety Assurance Under Uncertainties: From Software to Cyber-Physical\/Machine Learning Systems. CRC Press (2025)","DOI":"10.1201\/9781003093350"},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00454-023-00562-5","volume":"71","author":"P Jungeblut","year":"2024","unstructured":"Jungeblut, P., Kleist, L., Miltzow, T.: The complexity of the Hausdorff distance. Discret. Comput. Geom. 71(1), 177\u2013213 (2024)","journal-title":"Discret. Comput. Geom."},{"issue":"01","key":"8_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1142\/S0218195920500028","volume":"30","author":"D Kraft","year":"2020","unstructured":"Kraft, D.: Computing the Hausdorff distance of two sets from their distance functions. Int. J. Comput. Geom. Appl. 30(01), 19\u201349 (2020)","journal-title":"Int. J. Comput. Geom. Appl."},{"key":"8_CR14","unstructured":"Kurucz, A., Wolter, F., Zakharyaschev, M.: Modal logics for metric spaces: open problems. In: We Will Show Them! Essays in Honour of Dov Gabbay, vol. 2, pp. 193\u2013108. College Publications (2005)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Li, T., et al.: STSL: a novel spatio-temporal specification language for cyber-physical systems. In: QRS 2020), pp. 309\u2013319. IEEE (2020)","DOI":"10.1109\/QRS51102.2020.00048"},{"issue":"6","key":"8_CR16","doi-asserted-by":"publisher","first-page":"2392","DOI":"10.1007\/s11036-021-01779-5","volume":"26","author":"T Li","year":"2021","unstructured":"Li, T., et al.: Runtime verification of spatio-temporal specification language. Mob. Netw. Appl. 26(6), 2392\u20132406 (2021)","journal-title":"Mob. Netw. Appl."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Madsen, C., et al.: Metrics for signal temporal logic formulae. In: CDC, pp. 1542\u20131547. IEEE (2018)","DOI":"10.1109\/CDC.2018.8619541"},{"key":"8_CR18","unstructured":"United Nations. Vienna convention on road traffic (1968). https:\/\/unece.org\/DAM\/trans\/conventn\/Conv_road_traffic_EN.pdf. Accessed 11 Apr 2025"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018)","DOI":"10.23638\/LMCS-14(4:2)2018"},{"issue":"4","key":"8_CR20","doi-asserted-by":"publisher","first-page":"1842","DOI":"10.1109\/TSE.2022.3194640","volume":"49","author":"Z Zhang","year":"2023","unstructured":"Zhang, Z., Lyu, D., Arcaini, P., Ma, L., Hasuo, I., Zhao, J.: Falsifai: falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria. IEEE Trans. Softw. Eng. 49(4), 1842\u20131859 (2023)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00942-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:40:43Z","timestamp":1757479243000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00942-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,28]]},"ISBN":["9783032009418","9783032009425"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00942-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,28]]},"assertion":[{"value":"28 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","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 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/FMICS2025.uni-muenster.de","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}