{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:04:14Z","timestamp":1781193854412,"version":"3.54.1"},"publisher-location":"Cham","reference-count":82,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032280787","type":"print"},{"value":"9783032280794","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-28079-4_7","type":"book-chapter","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:32:00Z","timestamp":1781191920000},"page":"145-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Sensor Tolerance Contracts for\u00a0Safety Assurance in\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Jian","family":"Xiang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,12]]},"reference":[{"issue":"6","key":"7_CR1","doi-asserted-by":"crossref","first-page":"2744","DOI":"10.1109\/TCST.2023.3286090","volume":"31","author":"A Alan","year":"2023","unstructured":"Alan, A., Taylor, A.J., He, C.R., Ames, A.D., Orosz, G.: Control barrier functions and input-to-state safety with application to automated vehicles. IEEE Trans. Control Syst. Technol. 31(6), 2744\u20132759 (2023)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"7_CR2","unstructured":"Alur, R.: Principles of cyber-physical systems. MIT Press (2015)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: International hybrid systems workshop, pp. 209\u2013229. Springer (1991)","DOI":"10.1007\/3-540-57318-6_30"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Anand, A., Knepper, R.: ROSCoq: robots powered by constructive reals. ITP, pp 34\u201350 (2015) Springer","DOI":"10.1007\/978-3-319-22102-1_3"},{"issue":"OOPSLA2","key":"7_CR5","doi-asserted-by":"crossref","first-page":"2196","DOI":"10.1145\/3622875","volume":"7","author":"A Astorga","year":"2023","unstructured":"Astorga, A., Hsieh, C., Madhusudan, P., Mitra, S.: Perception contracts for safety of ML-enabled systems. Proc. ACM Program. Lang. 7(OOPSLA2), 2196\u20132223 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"46462","DOI":"10.1109\/ACCESS.2021.3066108","volume":"9","author":"M Barbeau","year":"2021","unstructured":"Barbeau, M., Cuppens, F., Cuppens, N., Dagnas, R., Garcia-Alfaro, J.: Resilience estimation of cyber-physical systems via quantitative metrics. IEEE Access 9, 46462\u201346475 (2021)","journal-title":"IEEE Access"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Barfoot, T.D.: State estimation for robotics. Cambridge University Press (2024)","DOI":"10.1017\/9781009299909"},{"key":"7_CR8","volume":"52","author":"M Barr\u00e8re","year":"2020","unstructured":"Barr\u00e8re, M., Hankin, C., Nicolaou, N., Eliades, D.G., Parisini, T.: Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies. J. Inf. Secur. Appl. 52, 102471 (2020)","journal-title":"J. Inf. Secur. Appl."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bohrer, R., Tan, Y.K., Mitsch, S., Myreen, M.O., Platzer, A.: Veriphy: verified controller executables from verified cyber-physical system models. In: PLDI , pp. 617\u2013630 (2018)","DOI":"10.1145\/3192366.3192406"},{"key":"7_CR10","unstructured":"Boyce, W.E., DiPrima, R.C.: Elementary differential equations and boundary value problems. Wiley (2012)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Boyd, S., Boyd, S.P., Vandenberghe, L.: Convex optimization. Cambridge university press (2004)","DOI":"10.1017\/CBO9780511804441"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Collins, P., Geretti, L., Segala, R., Villa, T., Gonzalez, S.Z.: A computable and compositional semantics for hybrid automata. In: HSCC, pp. 18:1\u201318:11. ACM (2020)","DOI":"10.1145\/3365365.3382202"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Catak, F.O., Yue, T., Ali, S.: Prediction surface uncertainty quantification in object detection models for autonomous driving. In: AITest, pp. 93\u2013100. IEEE (2021)","DOI":"10.1109\/AITEST52744.2021.00027"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: CAV, pp. 258\u2013263. Springer (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Choi, H., et al.: Detecting attacks against robotic vehicles: a control invariant approach. In: CCS, pp. 801\u2013816 (2018)","DOI":"10.1145\/3243734.3243752"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Chong, S., Lanotte, R., Merro, M., Tini, S., Xiang, J.: Quantitative robustness analysis of sensor attacks on cyber-physical systems. In: HSCC, pp , 1\u201312 (2023)","DOI":"10.1145\/3575870.3587118"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Dagnas, R., Barbeau, M., Boutin, M., Garcia-Alfaro, J., Yaich, R.: Exploring the quantitative resilience analysis of cyber-physical systems. In: IFIP, pp. 1\u20136 (2023) IEEE","DOI":"10.23919\/IFIPNetworking57963.2023.10186355"},{"issue":"4","key":"7_CR18","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1007\/s10817-018-09509-5","volume":"63","author":"T Dreossi","year":"2019","unstructured":"Dreossi, T., Donz\u00e9, A., Seshia, S.A.: Compositional falsification of cyber-physical systems with machine learning components. J. Autom. Reason. 63(4), 1031\u20131053 (2019)","journal-title":"J. Autom. Reason."},{"key":"7_CR19","unstructured":"Efrat, N., Bluvstein, M., Garnett, N., Levi, D., Oron, S., Shlomo, B.E.: Semi-local 3d lane detection and uncertainty estimation (2020). arXiv:2003.05257 arXiv preprint"},{"key":"7_CR20","unstructured":"Fahrenberg, U.: A generic approach to quantitative verification (2022). arXiv:2204.11302 arXiv preprint"},{"issue":"42","key":"7_CR21","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Ferr\u00e8re, T., Nickovic, D., Donz\u00e9, A., Ito, H., Kapinski, J.: Interface-aware signal temporal logic. In: HSCC, pp. 57\u201366. ACM (2019)","DOI":"10.1145\/3302504.3311800"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-030-90870-6_20","volume-title":"Formal Methods","author":"S Foster","year":"2021","unstructured":"Foster, S., Huerta y Munive, J.J., Gleirscher, M., Struth, G.: Hybrid Systems Verification with Isabelle\/HOL: Simpler Syntax, Better Models, Faster Proofs. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 367\u2013386. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_20"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: CAV, pp. 379\u2013395. Springer (2011)","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"7_CR25","unstructured":"Gal, Y., Ghahramani, Z.: Dropout as a bayesian approximation: representing model uncertainty in deep learning. In: ICML, pp. 1050\u20131059 (2016)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Hammam, A., Bonarens, F., Ghobadi, S.E., Stiller, C.: Predictive uncertainty quantification of deep neural networks using dirichlet distributions. In: CSCS, pp. 1\u201310 (2022)","DOI":"10.1145\/3568160.3570233"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"issue":"2","key":"7_CR28","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCS.2023.3234380","volume":"43","author":"KL Hobbs","year":"2023","unstructured":"Hobbs, K.L., Mote, M.L., Abate, M.C., Coogan, S.D., Feron, E.M.: Runtime assurance for safety-critical systems: an introduction to safety filtering approaches for complex control systems. IEEE Control Syst. Mag. 43(2), 28\u201365 (2023)","journal-title":"IEEE Control Syst. Mag."},{"issue":"5s","key":"7_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358228","volume":"18","author":"C Huang","year":"2019","unstructured":"Huang, C., Fan, J., Li, W., Chen, X., Zhu, Q.: Reachnn: reachability analysis of neural-network controlled systems. ACM Trans. Embed. Comput. Syst. 18(5s), 1\u201322 (2019)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"7_CR30","unstructured":"Itkina, M., Kochenderfer, M.: Interpretable self-aware neural networks for robust trajectory prediction. In: CoRL, pp. 606\u2013617 (2023)"},{"key":"7_CR31","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: HSCC, pp. 169\u2013178 (2019)","DOI":"10.1145\/3302504.3311806"},{"issue":"3","key":"7_CR32","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s10270-021-00877-y","volume":"20","author":"I Jahandideh","year":"2021","unstructured":"Jahandideh, I., Ghassemi, F., Sirjani, M.: An actor-based framework for asynchronous event-based cyber-physical systems. Softw. Syst. Model. 20(3), 641\u2013665 (2021). https:\/\/doi.org\/10.1007\/s10270-021-00877-y","journal-title":"Softw. Syst. Model."},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Kochdumper, N., Schilling, C., Althoff, M., Bak, S.: Open-and closed-loop neural network verification using polynomial zonotopes. In: NFM, pp. 16\u201336. Springer (2023)","DOI":"10.1007\/978-3-031-33170-1_2"},{"key":"7_CR34","unstructured":"Kong, L., Sun, J., Zhang, C.: SDE-net: equipping deep neural networks with uncertainty estimates (2020). arXiv:2008.10546 arXiv preprint"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Kraus, F., Dietmayer, K.: Uncertainty estimation in one-stage object detection. In: ITSC, pp. 53\u201360 (2019)","DOI":"10.1109\/ITSC.2019.8917494"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Kuhlmann, I., Corea, C.: Inconsistency measurement in LTL$$_f$$ based on minimal inconsistent sets and minimal correction sets. In: International Conference on Scalable Uncertainty Management, pp. 217\u2013232 (2024)","DOI":"10.1007\/978-3-031-76235-2_17"},{"key":"7_CR37","unstructured":"Kumari, N., et al.: Automatic ai controller that can drive with confidence: steering vehicle with uncertainty knowledge (2024). arXiv:2404.16893 arXiv preprint"},{"key":"7_CR38","unstructured":"Lakshminarayanan, B., Pritzel, A., Blundell, C.: Simple and scalable predictive uncertainty estimation using deep ensembles. Adv. Neural Inf. Process. Syst, 30 (2017)"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Merro, M., Munteanu, A., Vigan\u00f2, L.: A formal approach to physics-based attacks in cyber-physical systems. ACM Trans. Priv. Secur, 23(1), 3:1\u20133:41 (2020)","DOI":"10.1145\/3373270"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Verification and performance analysis for embedded systems. In: TASE, pp,. 3\u20134 (2009)","DOI":"10.1109\/TASE.2009.66"},{"key":"7_CR41","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to embedded systems: a cyber-physical systems approach. MIT press (2016)"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Lee, M., Mudassar, B., Mukhopadhyay, S.: Lightweight model uncertainty estimation for deep neural object detection. In: IJCNN, pp. 1\u20138 (2022)","DOI":"10.1109\/IJCNN55064.2022.9892795"},{"issue":"1","key":"7_CR43","doi-asserted-by":"crossref","first-page":"2318","DOI":"10.1109\/TIV.2023.3297735","volume":"9","author":"D Li","year":"2023","unstructured":"Li, D., Liu, B., Huang, Z., Hao, Q., Zhao, D., Tian, B.: Safe motion planning for autonomous vehicles by quantifying uncertainties of deep learning-enabled environment perception. IEEE Trans. Intell. Vehicles 9(1), 2318\u20132332 (2023)","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"7_CR44","volume":"163","author":"G Li","year":"2024","unstructured":"Li, G., Li, Z., Knoop, V.L., van Lint, H.: Unravelling uncertainty in trajectory prediction using a non-parametric approach. Transp. Res. Part C: Emerg. Technol. 163, 104659 (2024)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"7_CR45","unstructured":"Li, Y., Yang, B.C., Jia, Y., Zhuang, D., Mitra, S.: Refining perception contracts: case studies in vision-based safe auto-landing (2023). arXiv:2311.08652 arXiv preprint"},{"key":"7_CR46","unstructured":"Liu, R., Hou, A., Li, S., Yin, X.: Sagas: semantic-aware graph-assisted stitching for offline temporal logic planning (2025). arXiv:2512.00775 arXiv preprint"},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"Lopez, D.M., Choi, S.W., Tran, H.D., Johnson, T.T.: NNV 2.0: the neural network verification tool. In: CAV, pp. 397\u2013412 (2023)","DOI":"10.1007\/978-3-031-37703-7_19"},{"key":"7_CR48","doi-asserted-by":"crossref","unstructured":"Lynch, N., Segala, R., Vaandrager, F., Weinberg, H.B.: Hybrid I\/O automata. In: International Hybrid Systems Workshop, pp. 496\u2013510. Springer (1995)","DOI":"10.1007\/BFb0020971"},{"key":"7_CR49","doi-asserted-by":"crossref","unstructured":"Madsen, C., et al.: Metrics for signal temporal logic formulae. In: CDC, pp. 1542\u20131547 (2018)","DOI":"10.1109\/CDC.2018.8619541"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Malecha, G., Ricketts, D., Alvarez, M.M., Lerner, S.: Towards foundational verification of cyber-physical systems. SOSCYPS, pp. 1\u20135 (2016)","DOI":"10.1109\/SOSCYPS.2016.7580000"},{"key":"7_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal techniques, modelling and analysis of timed and fault-tolerant systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring Temporal Properties of Continuous Signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"Mohammadinejad, S., Deshmukh, J.V., Puranic, A.G.: Mining environment assumptions for cyber-physical system models. In: ICCPS, pp. 87\u201397 (2020)","DOI":"10.1109\/ICCPS48487.2020.00016"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Huerta\u00a0y Munive, J.J., Struth, G.: Predicate transformer semantics for hybrid systems. J. Autom. Reasoning 66(1), 93\u2013139 (2022)","DOI":"10.1007\/s10817-021-09607-x"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Murino, G., Armando, A., Tacchella, A.: Resilience of cyber-physical systems: an experimental appraisal of quantitative measures. In: CyCon 900, 1\u201319 (2019)","DOI":"10.23919\/CYCON.2019.8757010"},{"key":"7_CR55","doi-asserted-by":"crossref","unstructured":"Naik, N., Nuzzo, P.: Robustness contracts for scalable verification of neural network-enabled cyber-physical systems. In: MEMOCODE.,pp , 1\u201312 (2020)","DOI":"10.1109\/MEMOCODE51338.2020.9315118"},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Nigam, V., Talcott, C.L.: Formal security verification of industry 4.0 applications. In: ETFA, pp. 1043\u20131050 (2019)","DOI":"10.1109\/ETFA.2019.8869428"},{"key":"7_CR57","doi-asserted-by":"crossref","unstructured":"Nigam, V., Talcott, C., Urquiza, A.: Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders. In: ESORICS, pp. 450\u2013470 (2016)","DOI":"10.1007\/978-3-319-45741-3_23"},{"issue":"12","key":"7_CR58","doi-asserted-by":"crossref","first-page":"3329","DOI":"10.1109\/JSEN.2012.2211098","volume":"12","author":"P Nuzzo","year":"2012","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A., Sun, X., Puggelli, A.: Methodology for the design of analog integrated interfaces using contracts. IEEE Sens. J. 12(12), 3329\u20133345 (2012)","journal-title":"IEEE Sens. J."},{"issue":"2","key":"7_CR59","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reason."},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logic and proofs for cyber-physical systems. In: IJCAR, pp. 15\u201321 (2016)","DOI":"10.1007\/978-3-319-40229-1_3"},{"issue":"2","key":"7_CR61","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/s10817-016-9385-1","volume":"59","author":"A Platzer","year":"2017","unstructured":"Platzer, A.: A complete uniform substitution calculus for differential dynamic logic. J. Autom. Reason. 59(2), 219\u2013265 (2017)","journal-title":"J. Autom. Reason."},{"key":"7_CR62","doi-asserted-by":"publisher","unstructured":"Logical foundations of cyber-physical systems. Lecture Notes in Computer Science, Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0_21","DOI":"10.1007\/978-3-319-63588-0_21"},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Platzer, A., Quesel, J.D.: European train control system: A case study in formal verification. In: ICFEM, pp. 246\u2013265 (2009)","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"7_CR64","doi-asserted-by":"crossref","unstructured":"Postels, J., Ferroni, F., Coskun, H., Navab, N., Tombari, F.: Sampling-free epistemic uncertainty estimation using approximated variance propagation. In: ICCV, pp. 2931\u20132940 (2019)","DOI":"10.1109\/ICCV.2019.00302"},{"key":"7_CR65","doi-asserted-by":"crossref","unstructured":"Semertzis, I., Rajkumar, V.S., \u015etefanov, A., Fransen, F., Palensky, P.: Quantitative risk assessment of cyber attacks on cyber-physical systems using attack graphs. In: MSCPES, pp. 1\u20136 (2022)","DOI":"10.1109\/MSCPES55116.2022.9770140"},{"key":"7_CR66","doi-asserted-by":"crossref","unstructured":"Slagel, J.T., Moscato, M., White, L., Mu\u00f1oz, C.A., Balachandran, S., Dutle, A.: Embedding differential dynamic logic in PVS (2024). arXiv:2404.15214 arXiv preprint","DOI":"10.4204\/EPTCS.402.7"},{"key":"7_CR67","doi-asserted-by":"crossref","unstructured":"Slagel, J.T., White, L., Dutle, A.: Formal verification of semi-algebraic sets and real analytic functions. In: CPP, pp. 278\u2013290 (2021)","DOI":"10.1145\/3437992.3439933"},{"key":"7_CR68","unstructured":"Sun, D., Yang, B.C., Mitra, S.: Learning-based perception contracts and applications (2023). arXiv:2309.13515 arXiv preprint"},{"key":"7_CR69","doi-asserted-by":"crossref","unstructured":"Sun, X., Khedr, H., Shoukry, Y.: Formal verification of neural network controlled autonomous systems. In: HSCC, pp. 147\u2013156 (2019)","DOI":"10.1145\/3302504.3311802"},{"key":"7_CR70","doi-asserted-by":"crossref","unstructured":"Tabuada, P.: Verification and control of hybrid systems: a symbolic approach. Springer (2009)","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"7_CR71","unstructured":"Tagasovska, N., Lopez-Paz, D.: Single-model uncertainties for deep learning. Adv. Neural. Inf. Process. Syst, 32 (2019)"},{"issue":"4","key":"7_CR72","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1109\/TIV.2022.3188662","volume":"7","author":"X Tang","year":"2022","unstructured":"Tang, X., et al.: Prediction-uncertainty-aware decision-making for autonomous vehicles. IEEE Trans. Intell. Vehicles 7(4), 849\u2013862 (2022)","journal-title":"IEEE Trans. Intell. Vehicles"},{"key":"7_CR73","doi-asserted-by":"crossref","unstructured":"Tiwari, A.: Logic in software, dynamical and biological systems. In: LICS, pp. 9\u201310(2011)","DOI":"10.1109\/LICS.2011.20"},{"issue":"5s","key":"7_CR74","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3358230","volume":"18","author":"HD Tran","year":"2019","unstructured":"Tran, H.D., Cai, F., Diego, M.L., Musau, P., Johnson, T.T., Koutsoukos, X.: Safety verification of cyber-physical systems with reinforcement learning control. ACM Trans. Embed. Comput. Syst. 18(5s), 1\u201322 (2019)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"7_CR75","doi-asserted-by":"crossref","unstructured":"Tran, H.D., et al.: NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems, pp. 3\u201317. CAV (2020)","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"7_CR76","doi-asserted-by":"crossref","DOI":"10.1016\/j.infsof.2025.107735","volume":"183","author":"Y Wang","year":"2025","unstructured":"Wang, Y., Wang, T., Yue, T.: Uncertainty propagation from sensor data to deep learning models in autonomous driving. Inf. Softw. Technol. 183, 107735 (2025)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR77","doi-asserted-by":"crossref","unstructured":"Xiang, J., Chong, S.: Extending dynamic logics with first-class relational reasoning. In: NASA formal method symposium (2025)","DOI":"10.1007\/978-3-031-93706-4_23"},{"key":"7_CR78","doi-asserted-by":"crossref","unstructured":"Xiang, J., Fulton, N., Chong, S.: Relational analysis of sensor attacks on cyber-physical systems. In: CSF, pp. 1\u201316 (2021)","DOI":"10.1109\/CSF51468.2021.00035"},{"key":"7_CR79","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2024.101559","volume":"56","author":"J Xiang","year":"2025","unstructured":"Xiang, J., Lanotte, R., Tini, S., Chong, S., Merro, M.: Measuring robustness in cyber-physical systems under sensor attacks. Nonlinear Anal. Hybrid Syst 56, 101559 (2025)","journal-title":"Nonlinear Anal. Hybrid Syst"},{"key":"7_CR80","doi-asserted-by":"crossref","unstructured":"Xiang, J., Tini, S., Lanotte, R., Merro, M.: Formal robustness for cyber-physical systems under timed attacks. In: CSF (2025)","DOI":"10.1016\/j.nahs.2024.101559"},{"key":"7_CR81","doi-asserted-by":"crossref","unstructured":"Zhang, W., et al.: One step closer to unbiased aleatoric uncertainty estimation. In: AAAI (2024)","DOI":"10.1609\/aaai.v38i15.29627"},{"key":"7_CR82","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Xu, X.: Reachability analysis and safety verification of neural feedback systems via hybrid zonotopes, pp. 1915\u20131921. ACC (2023)","DOI":"10.23919\/ACC55779.2023.10156417"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28079-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:32:23Z","timestamp":1781191943000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28079-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032280787","9783032280794"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28079-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nfm2026.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}