{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:50Z","timestamp":1749318110468,"version":"3.40.3"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031681493"},{"type":"electronic","value":"9783031681509"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_13","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"220-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Multimodal Model Predictive Runtime Verification for\u00a0Safety of\u00a0Autonomous Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2008-673X","authenticated-orcid":false,"given":"Alexis","family":"Aurandt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8220-7552","authenticated-orcid":false,"given":"Phillip H.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6718-2828","authenticated-orcid":false,"given":"Kristin Yvonne","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3977-122X","authenticated-orcid":false,"given":"Tichakorn","family":"Wongpiromsarn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1109\/TRO.2014.2312453","volume":"30","author":"M Althoff","year":"2014","unstructured":"Althoff, M., Dolan, J.M.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903\u2013918 (2014). https:\/\/doi.org\/10.1109\/TRO.2014.2312453","journal-title":"IEEE Trans. Robot."},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Althoff, M., Koschi, M., Manzinger, S.: Commonroad: composable benchmarks for motion planning on roads. In: 2017 IEEE Intelligent Vehicles Symposium (IV), pp. 719\u2013726. IEEE (2017). https:\/\/doi.org\/10.1109\/IVS.2017.7995802","DOI":"10.1109\/IVS.2017.7995802"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1109\/TITS.2009.2018966","volume":"10","author":"M Althoff","year":"2009","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Model-based probabilistic collision detection in autonomous driving. IEEE Trans. Intell. Transp. Syst. 10(2), 299\u2013310 (2009). https:\/\/doi.org\/10.1109\/TITS.2009.2018966","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. In: LICS, pp. 390\u2013401. IEEE (1990)","DOI":"10.21236\/ADA323441"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Aurandt, A., Jones, P.H., Rozier, K.Y.: Runtime verification triggers real-time, autonomous fault recovery on the CySat-I. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods. NFM 2022. LNCS, vol. 13260, pp. 816\u2013825. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_45, https:\/\/temporallogic.org\/research\/CySat-NFM22\/CySat-NFM22.pdf","DOI":"10.1007\/978-3-031-06773-0_45"},{"key":"13_CR6","doi-asserted-by":"publisher","unstructured":"Babaee, R., Ganesh, V., Sedwards, S.: Accelerated learning of predictive runtime monitors for rare failure. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification. RV 2019. LNCS, vol. 11757, pp. 111\u2013128. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_7","DOI":"10.1007\/978-3-030-32079-9_7"},{"key":"13_CR7","doi-asserted-by":"publisher","unstructured":"Babaee, R., Gurfinkel, A., Fischmeister, S.: $$\\cal{P}$$revent: a predictive run-time verification framework using statistical learning. In: Johnsen, E., Schaefer, I. (eds.) Software Engineering and Formal Methods. SEFM 2018. LNCS, vol. 10886, pp. 205\u2013220. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92970-5_13","DOI":"10.1007\/978-3-319-92970-5_13"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Babaee, R., Gurfinkel, A., Fischmeister, S.: Predictive run-time verification of discrete-time reachability properties in black-box systems using trace-level abstraction and statistical learning. In: Colombo, C., Leucker, M. (eds.) Runtime Verification. RV 2018. LNCS, vol. 11237, pp. 187\u2013204. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_11","DOI":"10.1007\/978-3-030-03769-7_11"},{"key":"13_CR9","doi-asserted-by":"publisher","unstructured":"Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. Lectures on Runtime Verification: Introductory and Advanced Topics, pp. 135\u2013175 (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_5","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"13_CR10","doi-asserted-by":"publisher","unstructured":"Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S.A., Stoller, S.D.: Neural predictive monitoring. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification. RV 2019. LNCS, vol. 11757, pp. 129\u2013147. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_8","DOI":"10.1007\/978-3-030-32079-9_8"},{"key":"13_CR11","doi-asserted-by":"publisher","unstructured":"Broadhurst, A., Baker, S., Kanade, T.: Monte Carlo road safety reasoning. In: IEEE Proceedings. Intelligent Vehicles Symposium, 2005, pp. 319\u2013324. IEEE (2005). https:\/\/doi.org\/10.1109\/IVS.2005.1505122","DOI":"10.1109\/IVS.2005.1505122"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Cairoli, F., Bortolussi, L., Paoletti, N.: Neural predictive monitoring under partial observability. In: Feng, L., Fisman, D. (eds.) Runtime Verification. RV 2021. LNCS, vol. 12974, pp. 121\u2013141. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_7","DOI":"10.1007\/978-3-030-88494-9_7"},{"key":"13_CR13","unstructured":"Cauwels, M., Hammer, A., Hertz, B., Jones, P., Rozier, K.Y.: Integrating runtime verification into an automated UAS traffic management system. In: DETECT. Springer, L\u2019Aquila, Italy, September 2020. https:\/\/r2u2.temporallogic.org\/wp-content\/uploads\/2020\/12\/CHHJR20.pdf"},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Chang, M.F., et\u00a0al.: Argoverse: 3d tracking and forecasting with rich maps. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 8748\u20138757 (2019). https:\/\/doi.org\/10.1109\/CVPR.2019.00895","DOI":"10.1109\/CVPR.2019.00895"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Chou, Y., Yoon, H., Sankaranarayanan, S.: Predictive runtime monitoring of vehicle models using Bayesian estimation and reachability analysis. In: 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 2111\u20132118. IEEE (2020). https:\/\/doi.org\/10.1109\/IROS45743.2020.9340755","DOI":"10.1109\/IROS45743.2020.9340755"},{"key":"13_CR16","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tian, C., Tonetta, S.: Assumption-based runtime verification with partial observability and resets. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification. RV 2019. LNCS, vol. 11757, pp. 165\u2013184. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_10","DOI":"10.1007\/978-3-030-32079-9_10"},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"Cleaveland, M., Sokolsky, O., Lee, I., Ruchkin, I.: Conservative safety monitors of stochastic dynamical systems. In: Rozier, K.Y., Chaudhuri, S. (eds.) NASA Formal Methods. NFM 2023. LNCS, vol. 13903, pp. 140\u2013156. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_9","DOI":"10.1007\/978-3-031-33170-1_9"},{"key":"13_CR18","unstructured":"Coulter, R.C.: Implementation of the pure pursuit path tracking algorithm. Carnegie Mellon University, The Robotics Institute (1992)"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Dabney, J.B., Badger, J.M., Rajagopal, P.: Adding a verification view for an autonomous real-time system architecture. In: Proceedings of SciTech Forum, pp. 2021-0566, AIAA, January 2021. https:\/\/doi.org\/10.2514\/6.2021-0566. Online","DOI":"10.2514\/6.2021-0566"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Dabney, J.B., Badger, J.M., Rajagopal, P.: Trustworthy autonomy for gateway vehicle system manager. In: 2023 IEEE Space Computing Conference (SCC), pp. 57\u201362. IEEE (2023). https:\/\/doi.org\/10.1109\/SCC57168.2023.00018","DOI":"10.1109\/SCC57168.2023.00018"},{"key":"13_CR21","doi-asserted-by":"publisher","unstructured":"Deo, N., Trivedi, M.M.: Multi-modal trajectory prediction of surrounding vehicles with maneuver based LSTMs. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1179\u20131184. IEEE (2018). https:\/\/doi.org\/10.1109\/IVS.2018.8500493","DOI":"10.1109\/IVS.2018.8500493"},{"key":"13_CR22","doi-asserted-by":"publisher","unstructured":"Ferrando, A., et al.: Bridging the gap between single-and multi-model predictive runtime verification. Form. Methods Syst. Des. 1\u201333 (2022). https:\/\/doi.org\/10.1007\/s10703-022-00395-7","DOI":"10.1007\/s10703-022-00395-7"},{"key":"13_CR23","unstructured":"Ferrando, A., Delzanno, G.: Incrementally predictive runtime verification. In: CILC, pp. 92\u2013106 (2021)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09487-2","volume":"35","author":"M Fisher","year":"2021","unstructured":"Fisher, M., Mascardi, V., Rozier, K.Y., Schlingloff, B.H., Winikoff, M., Yorke-Smith, N.: Towards a framework for certification of reliable autonomous systems. Auton. Agent. Multi-Agent Syst. 35, 1\u201365 (2021). https:\/\/doi.org\/10.1007\/s10458-020-09487-2","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"3","key":"13_CR25","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1111\/j.1749-6632.1960.tb42846.x","volume":"86","author":"JM Hammersley","year":"1960","unstructured":"Hammersley, J.M.: Monte Carlo methods for solving multivariable problems. Ann. N. Y. Acad. Sci. 86(3), 844\u2013874 (1960)","journal-title":"Ann. N. Y. Acad. Sci."},{"key":"13_CR26","doi-asserted-by":"publisher","unstructured":"Hertz, B., Luppen, Z., Rozier, K.Y.: Integrating runtime verification into a sounding rocket control system. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NASA Formal Methods. NFM 2021. LNCS, vol. 12673, pp. 151\u2013159. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_10","DOI":"10.1007\/978-3-030-76384-8_10"},{"issue":"3","key":"13_CR27","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1109\/TIV.2022.3167103","volume":"7","author":"Y Huang","year":"2022","unstructured":"Huang, Y., Du, J., Yang, Z., Zhou, Z., Zhang, L., Chen, H.: A survey on trajectory-prediction methods for autonomous driving. IEEE Trans. Intell. Veh. 7(3), 652\u2013674 (2022). https:\/\/doi.org\/10.1109\/TIV.2022.3167103","journal-title":"IEEE Trans. Intell. Veh."},{"key":"13_CR28","doi-asserted-by":"publisher","unstructured":"Jha, S., Raman, V., Sadigh, D., Seshia, S.A.: Safe autonomy under perception uncertainty using chance-constrained temporal logic. J. Autom. Reason. 60, 43\u201362 (2018). https:\/\/doi.org\/10.1007\/s10817-017-9413-9","DOI":"10.1007\/s10817-017-9413-9"},{"key":"13_CR29","doi-asserted-by":"publisher","unstructured":"Johannsen, C., Jones, P., Kempa, B., Rozier, K.Y., Zhang, P.: R2U2 version 3.0: re-imagining a toolchain for specification, resource estimation, and optimized observer generation for runtime verification in hardware and software. In: Enea, C., Lal, A. (eds.) Computer Aided Verification. CAV 2023. LNCS, vol. 13966, pp. 483\u2013497. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_23, https:\/\/research.temporallogic.org\/papers\/JJKRZ23.pdf","DOI":"10.1007\/978-3-031-37709-9_23"},{"key":"13_CR30","doi-asserted-by":"publisher","unstructured":"Johannsen, C., Kempa, B., Jones, P.H., Rozier, K.Y., Wongpiromsarn, T.: Impossible made possible: encoding intractable specifications via implied domain constraints. In: Cimatti, A., Titolo, L. (eds.) Formal Methods for Industrial Critical Systems. FMICS 2023. LNCS, vol. 14290, pp. 151\u2013169. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43681-9_9, https:\/\/research.temporallogic.org\/papers\/JKJRW23.pdf","DOI":"10.1007\/978-3-031-43681-9_9"},{"key":"13_CR31","doi-asserted-by":"publisher","unstructured":"Kaempchen, N., Weiss, K., Schaefer, M., Dietmayer, K.C.: Imm object tracking for high dynamic driving maneuvers. In: IEEE Intelligent Vehicles Symposium, 2004, pp. 825\u2013830. IEEE (2004). https:\/\/doi.org\/10.1109\/IVS.2004.1336491","DOI":"10.1109\/IVS.2004.1336491"},{"issue":"7","key":"13_CR32","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1177\/0278364911406761","volume":"30","author":"S Karaman","year":"2011","unstructured":"Karaman, S., Frazzoli, E.: Sampling-based algorithms for optimal motion planning. Int. J. Robot. Res. 30(7), 846\u2013894 (2011). https:\/\/doi.org\/10.1177\/0278364911406761","journal-title":"Int. J. Robot. Res."},{"key":"13_CR33","doi-asserted-by":"publisher","unstructured":"Kempa, B., Zhang, P., Jones, P.H., Zambreno, J., Rozier, K.Y.: Embedding online runtime verification for fault disambiguation on Robonaut2. In: Bertrand, N., Jansen, N. (eds.) Formal Modeling and Analysis of Timed Systems. FORMATS 2020. LNCS, vol. 12288, pp. 196\u2013214. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57628-8_12, http:\/\/research.temporallogic.org\/papers\/KZJZR20.pdf","DOI":"10.1007\/978-3-030-57628-8_12"},{"key":"13_CR34","doi-asserted-by":"publisher","unstructured":"Kyriakis, P., Deshmukh, J.V., Bogdan, P.: Specification mining and robust design under uncertainty: a stochastic temporal logic approach. ACM Trans. Embed. Comput. Syst. (TECS) 18(5s), 1\u201321 (2019). https:\/\/doi.org\/10.1145\/3358231","DOI":"10.1145\/3358231"},{"key":"13_CR35","doi-asserted-by":"publisher","unstructured":"Li, J., Vardi, M.Y., Rozier, K.Y.: Satisfiability checking for mission-time LTL. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification. CAV 2019. LNCS, vol. 11562, pp. 3\u201322. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25543-5_1","DOI":"10.1007\/978-3-030-25543-5_1"},{"key":"13_CR36","doi-asserted-by":"publisher","unstructured":"Li, J., Nuzzo, P., Sangiovanni-Vincentelli, A., Xi, Y., Li, D.: Stochastic contracts for cyber-physical system design under probabilistic requirements. In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 5\u201314 (2017). https:\/\/doi.org\/10.1145\/3127041.3127045","DOI":"10.1145\/3127041.3127045"},{"key":"13_CR37","doi-asserted-by":"publisher","unstructured":"Liang, M., et al.: Learning lane graph representations for motion forecasting. In: Vedaldi, A., Bischof, H., Brox, T., Frahm, JM. (eds.) Computer Vision \u2013 ECCV 2020. ECCV 2020. LNCS, vol. 12347, pp. 541\u2013556. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58536-5_32","DOI":"10.1007\/978-3-030-58536-5_32"},{"key":"13_CR38","doi-asserted-by":"publisher","unstructured":"Lindemann, L., Qin, X., Deshmukh, J.V., Pappas, G.J.: Conformal prediction for stl runtime verification. In: Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023), pp. 142\u2013153 (2023). https:\/\/doi.org\/10.1145\/3576841.3585927","DOI":"10.1145\/3576841.3585927"},{"key":"13_CR39","doi-asserted-by":"publisher","unstructured":"Liu, L., Wang, Y., Shi, W.: Understanding time variations of DNN inference in autonomous driving. arXiv preprint arXiv:2209.05487 (2022). https:\/\/doi.org\/10.48550\/arXiv.2209.05487","DOI":"10.48550\/arXiv.2209.05487"},{"key":"13_CR40","doi-asserted-by":"crossref","unstructured":"Liu, M., et al.: Laformer: trajectory prediction for autonomous driving with lane-aware scene constraints. arXiv preprint arXiv:2302.13933 (2023)","DOI":"10.1109\/CVPRW63382.2024.00209"},{"key":"13_CR41","doi-asserted-by":"publisher","unstructured":"Liu, Y., Zhang, J., Fang, L., Jiang, Q., Zhou, B.: Multimodal motion prediction with stacked transformers. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 7577\u20137586 (2021). https:\/\/doi.org\/10.1109\/CVPR46437.2021.00749","DOI":"10.1109\/CVPR46437.2021.00749"},{"key":"13_CR42","doi-asserted-by":"publisher","unstructured":"Ma, M., Stankovic, J., Bartocci, E., Feng, L.: Predictive monitoring with logic-calibrated uncertainty for cyber-physical systems. ACM Trans. Embed. Comput. Syst. (TECS) 20(5s), 1\u201325 (2021). https:\/\/doi.org\/10.1145\/3477032","DOI":"10.1145\/3477032"},{"key":"13_CR43","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. FTRTFT FORMATS 2004 2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Berlin, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"issue":"1","key":"13_CR44","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TITS.2020.3012034","volume":"23","author":"S Mozaffari","year":"2020","unstructured":"Mozaffari, S., Al-Jarrah, O.Y., Dianati, M., Jennings, P., Mouzakitis, A.: Deep learning-based vehicle behavior prediction for autonomous driving applications: a review. IEEE Trans. Intell. Transp. Syst. 23(1), 33\u201347 (2020). https:\/\/doi.org\/10.1109\/TITS.2020.3012034","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"13_CR45","unstructured":"O\u2019Kelly, M., Zheng, H., Karthik, D., Mangharam, R.: F1tenth: an open-source evaluation environment for continuous control and reinforcement learning. In: NeurIPS 2019 Competition and Demonstration Track, pp. 77\u201389. PMLR (2020)"},{"key":"13_CR46","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.jss.2017.06.060","volume":"132","author":"S Pinisetty","year":"2017","unstructured":"Pinisetty, S., J\u00e9ron, T., Tripakis, S., Falcone, Y., Marchand, H., Preoteasa, V.: Predictive runtime verification of timed properties. J. Syst. Softw. 132, 353\u2013365 (2017). https:\/\/doi.org\/10.1016\/j.jss.2017.06.060","journal-title":"J. Syst. Softw."},{"key":"13_CR47","doi-asserted-by":"publisher","unstructured":"Qin, X., Deshmukh, J.V.: Clairvoyant monitoring for signal temporal logic. In: Bertrand, N., Jansen, N. (eds.) Formal Modeling and Analysis of Timed Systems. FORMATS 2020. LNCS, vol. 12288, pp. 178\u2013195. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57628-8_11","DOI":"10.1007\/978-3-030-57628-8_11"},{"key":"13_CR48","doi-asserted-by":"publisher","unstructured":"Rajamani, R.: Vehicle Dynamics and Control. Springer, New York (2011). https:\/\/doi.org\/10.1007\/978-1-4614-1433-9","DOI":"10.1007\/978-1-4614-1433-9"},{"key":"13_CR49","doi-asserted-by":"publisher","unstructured":"Reddi, V.J., et\u00a0al.: MLPerf inference benchmark. In: 2020 ACM\/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), pp. 446\u2013459. IEEE (2020). https:\/\/doi.org\/10.1109\/ISCA45697.2020.00045","DOI":"10.1109\/ISCA45697.2020.00045"},{"key":"13_CR50","doi-asserted-by":"publisher","unstructured":"Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2014. LNCS, vol.\u00a08413, pp. 357\u2013372. Springer, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_24","DOI":"10.1007\/978-3-642-54862-8_24"},{"key":"13_CR51","unstructured":"Rozier, K.Y., Schumann, J.: R2U2: tool overview. In: Proceedings of International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (RV-CUBES), vol.\u00a03, pp. 138\u2013156. Kalpa Publications, Seattle, WA, USA, September 2017. https:\/\/research.temporallogic.org\/papers\/RS2017_RV.pdf"},{"key":"13_CR52","doi-asserted-by":"publisher","unstructured":"Sadigh, D., Kapoor, A.: Safe control under uncertainty with probabilistic signal temporal logic. In: Proceedings of Robotics: Science and Systems XII (2016). https:\/\/doi.org\/10.15607\/RSS.2016.XII.017","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"13_CR53","doi-asserted-by":"crossref","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. In: PHM, pp. 381\u2013401, October 2013. https:\/\/research.temporallogic.org\/papers\/SRRMMI15.pdf","DOI":"10.36001\/phmconf.2013.v5i1.2275"},{"issue":"5\u20136","key":"13_CR54","doi-asserted-by":"publisher","first-page":"1327","DOI":"10.1007\/s00170-021-07682-3","volume":"117","author":"M Schwenzer","year":"2021","unstructured":"Schwenzer, M., Ay, M., Bergs, T., Abel, D.: Review on model predictive control: an engineering perspective. Int. J. Adv. Manuf. Technol. 117(5\u20136), 1327\u20131349 (2021). https:\/\/doi.org\/10.1007\/s00170-021-07682-3","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"13_CR55","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/OJITS.2021.3078121","volume":"2","author":"T Stahl","year":"2021","unstructured":"Stahl, T., Diermeyer, F.: Online verification enabling approval of driving functions\u2013implementation for a planner of an autonomous race vehicle. IEEE Open J. Intell. Transp. Syst. 2, 97\u2013110 (2021). https:\/\/doi.org\/10.1109\/OJITS.2021.3078121","journal-title":"IEEE Open J. Intell. Transp. Syst."},{"issue":"4","key":"13_CR56","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s12532-020-00179-2","volume":"12","author":"B Stellato","year":"2020","unstructured":"Stellato, B., Banjac, G., Goulart, P., Bemporad, A., Boyd, S.: OSQP: an operator splitting solver for quadratic programs. Math. Program. Comput. 12(4), 637\u2013672 (2020). https:\/\/doi.org\/10.1007\/s12532-020-00179-2","journal-title":"Math. Program. Comput."},{"key":"13_CR57","doi-asserted-by":"publisher","unstructured":"Sze, V., Chen, Y.H., Yang, T.J., Emer, J.S.: Efficient processing of deep neural networks: a tutorial and survey. Proc. IEEE 105(12), 2295\u20132329 (2017). https:\/\/doi.org\/10.1109\/JPROC.2017.2761740","DOI":"10.1109\/JPROC.2017.2761740"},{"key":"13_CR58","doi-asserted-by":"publisher","unstructured":"Tiger, M., Heintz, F.: Stream reasoning using temporal logic and predictive probabilistic state models. In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), pp. 196\u2013205. IEEE (2016). https:\/\/doi.org\/10.1109\/TIME.2016.28","DOI":"10.1109\/TIME.2016.28"},{"key":"13_CR59","doi-asserted-by":"publisher","unstructured":"Tiger, M., Heintz, F.: Incremental reasoning in probabilistic signal temporal logic. Int. J. Approx. Reason. 119, 325\u2013352 (2020). https:\/\/doi.org\/10.1016\/j.ijar.2020.01.009","DOI":"10.1016\/j.ijar.2020.01.009"},{"key":"13_CR60","doi-asserted-by":"publisher","unstructured":"Tran, Q., Firl, J.: Online maneuver recognition and multimodal trajectory prediction for intersection assistance using non-parametric regression. In: 2014 IEEE Intelligent Vehicles Symposium Proceedings, pp. 918\u2013923. IEEE (2014). https:\/\/doi.org\/10.1109\/IVS.2014.6856480","DOI":"10.1109\/IVS.2014.6856480"},{"key":"13_CR61","doi-asserted-by":"publisher","unstructured":"Walsh, C.H., Karaman, S.: CDDT: fast approximate 2d ray casting for accelerated localization. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 3677\u20133684. IEEE (2018). https:\/\/doi.org\/10.1109\/ICRA.2018.8460743","DOI":"10.1109\/ICRA.2018.8460743"},{"key":"13_CR62","doi-asserted-by":"publisher","unstructured":"Wang, Z., Guo, J., Hu, Z., Zhang, H., Zhang, J., Pu, J.: Lane transformer: a high-efficiency trajectory prediction model. IEEE Open J. Intell. Transp. Syst. 4, 2\u201313 (2023). https:\/\/doi.org\/10.1109\/OJITS.2023.3233952","DOI":"10.1109\/OJITS.2023.3233952"},{"key":"13_CR63","doi-asserted-by":"publisher","unstructured":"Yoon, H., Chou, Y., Chen, X., Frew, E., Sankaranarayanan, S.: Predictive runtime monitoring for linear stochastic systems and applications to geofence enforcement for UAVs. In: Finkbeiner, B., Mariani, L. (eds.) Runtime Verification. RV 2019. LNCS, vol. 11757, pp. 349\u2013367. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32079-9_20","DOI":"10.1007\/978-3-030-32079-9_20"},{"key":"13_CR64","doi-asserted-by":"publisher","unstructured":"Yu, X., Dong, W., Li, S., Yin, X.: Model predictive monitoring of dynamical systems for signal temporal logic specifications. Automatica 160, 111445 (2024). https:\/\/doi.org\/10.1016\/j.automatica.2023.111445","DOI":"10.1016\/j.automatica.2023.111445"},{"key":"13_CR65","doi-asserted-by":"publisher","unstructured":"Zhang, P., Aurandt, A., Dureja, R., Jones, P.H., Rozier, K.Y.: Model predictive runtime verification for cyber-physical systems with real-time deadlines. In: Petrucci, L., Sproston, J. (eds.) Formal Modeling and Analysis of Timed Systems. FORMATS 2023. LNCS, vol. 14138, pp. 158\u2013180. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42626-1_10, https:\/\/research.temporallogic.org\/papers\/ZADJR23.pdf","DOI":"10.1007\/978-3-031-42626-1_10"},{"key":"13_CR66","doi-asserted-by":"publisher","unstructured":"Zhang, X., Leucker, M., Dong, W.: Runtime verification with predictive semantics. In: Goodloe, A.E., Person, S. (eds.) NASA Formal Methods. NFM 2012. LNCS, vol. 7226, pp. 418\u2013432. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_37","DOI":"10.1007\/978-3-642-28891-3_37"},{"key":"13_CR67","doi-asserted-by":"publisher","unstructured":"Zhou, Z., Ye, L., Wang, J., Wu, K., Lu, K.: HIVT: hierarchical vector transformer for multi-agent motion prediction. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 8823\u20138833 (2022). https:\/\/doi.org\/10.1109\/CVPR52688.2022.00862","DOI":"10.1109\/CVPR52688.2022.00862"}],"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-031-68150-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T21:37:35Z","timestamp":1732657055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","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":"Milan","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}