{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:33:20Z","timestamp":1751456000950,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031401312"},{"type":"electronic","value":"9783031401329"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-40132-9_12","type":"book-chapter","created":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:02:20Z","timestamp":1692183740000},"page":"180-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Safer Than Perception: Assuring Confidence in\u00a0Safety-Critical Decisions of\u00a0Automated Vehicles"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"given":"Willem","family":"Hagemann","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Astrid","family":"Rakow","sequence":"additional","affiliation":[]},{"given":"Mani","family":"Swaminathan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,17]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MRA.2013.2297812","volume":"21","author":"Q Baig","year":"2014","unstructured":"Baig, Q., Perrollaz, M., Laugier, C.: A robust motion detection technique for dynamic environment monitoring: a framework for grid-based monitoring of the dynamic environment. IEEE Robot. Automat. Mag. 21(1), 40\u201348 (2014)","journal-title":"IEEE Robot. Automat. Mag."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-319-57288-8_26","volume-title":"NASA Formal Methods","author":"T Dreossi","year":"2017","unstructured":"Dreossi, T., Donz\u00e9, A., Seshia, S.A.: Compositional falsification of cyber-physical systems with machine learning components. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 357\u2013372. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_26"},{"issue":"1","key":"12_CR3","first-page":"1","volume":"31","author":"T Fawcett","year":"2004","unstructured":"Fawcett, T.: ROC graphs: notes and practical considerations for researchers. Mach. Learn. 31(1), 1\u201338 (2004)","journal-title":"Mach. Learn."},{"issue":"8","key":"12_CR4","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1016\/j.patrec.2005.10.010","volume":"27","author":"T Fawcett","year":"2006","unstructured":"Fawcett, T.: An introduction to ROC analysis. Pattern Recogn. Lett. 27(8), 861\u2013874 (2006)","journal-title":"Pattern Recogn. Lett."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Galar, M., Fernandez, A., Barrenechea, E., Bustince, H., Herrera, F.: A review on ensembles for the class imbalance problem: bagging-, boosting-, and hybrid-based approaches. IEEE Trans. Syst. Man Cybernet. Part C (Appl. Rev.) 42(4), 463\u2013484 (2011)","DOI":"10.1109\/TSMCC.2011.2161285"},{"key":"12_CR6","unstructured":"Geirhos, R., Janssen, D.H.J., Sch\u00fctt, H.H., Rauber, J., Bethge, M., Wichmann, F.A.: Comparing deep neural networks against humans: object recognition when the signal gets weaker. CoRR abs\/1706.06969 (2017). http:\/\/arxiv.org\/abs\/1706.06969"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1287\/opre.17.2.233","volume":"17","author":"PL Hammer","year":"1969","unstructured":"Hammer, P.L., Rudeanu, S.: Pseudo-Boolean programming. Oper. Res. 17(2), 233\u2013261 (1969). https:\/\/doi.org\/10.1287\/opre.17.2.233","journal-title":"Oper. Res."},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-99154-2_13","volume-title":"Quantitative Evaluation of Systems","author":"S Junges","year":"2018","unstructured":"Junges, S., Jansen, N., Katoen, J.-P., Topcu, U., Zhang, R., Hayhoe, M.: Model checking for safe navigation among humans. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 207\u2013222. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_13"},{"issue":"8","key":"12_CR9","doi-asserted-by":"publisher","first-page":"2732","DOI":"10.1016\/j.patcog.2010.03.006","volume":"43","author":"W Khreich","year":"2010","unstructured":"Khreich, W., Granger, E., Miri, A., Sabourin, R.: Iterative Boolean combination of classifiers in the ROC space: an application to anomaly detection with HMMs. Pattern Recogn. 43(8), 2732\u20132752 (2010). https:\/\/doi.org\/10.1016\/j.patcog.2010.03.006","journal-title":"Pattern Recogn."},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Levinson, J., Montemerlo, M., Thrun, S.: Map-based precision vehicle localization in urban environments. In: Proceedings of Robotics: Science and Systems. Atlanta, GA, USA, June 2007. https:\/\/doi.org\/10.15607\/RSS.2007.III.016","DOI":"10.15607\/RSS.2007.III.016"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Levinson, J., Thrun, S.: Robust vehicle localization in urban environments using probabilistic maps. In: IEEE International Conference on Robotics and Automation, pp. 4372\u20134378 (2010)","DOI":"10.1109\/ROBOT.2010.5509700"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Moras, J., Cherfaoui, V., Bonnifait, P.: Moving objects detection by conflict analysis in evidential grids. In: IEEE Intelligent Vehicles Symposium (IV 2011), pp. 1120\u20131125 (2011)","DOI":"10.1109\/IVS.2011.5940561"},{"key":"12_CR13","series-title":"Unmanned System Technologies","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-319-97301-2_10","volume-title":"Safe, Autonomous and Intelligent Vehicles","author":"CS P\u0103s\u0103reanu","year":"2019","unstructured":"P\u0103s\u0103reanu, C.S., Gopinath, D., Yu, H.: Compositional verification for autonomous systems with deep learning components. In: Yu, H., Li, X., Murray, R.M., Ramesh, S., Tomlin, C.J. (eds.) Safe, Autonomous and Intelligent Vehicles. UST, pp. 187\u2013197. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-97301-2_10"},{"issue":"2\u20133","key":"12_CR14","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10514-009-9115-1","volume":"26","author":"A Petrovskaya","year":"2009","unstructured":"Petrovskaya, A., Thrun, S.: Model based vehicle detection and tracking for autonomous urban driving. Auton. Robots 26(2\u20133), 123\u2013139 (2009)","journal-title":"Auton. Robots"},{"issue":"1","key":"12_CR15","first-page":"37","volume":"2","author":"D Powers","year":"2011","unstructured":"Powers, D.: Evaluation: From precision, recall and f-measure to ROC, informedness, markedness & correlation. J. Mach. Learn. Technol. 2(1), 37\u201363 (2011)","journal-title":"J. Mach. Learn. Technol."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.inffus.2013.11.001","volume":"20","author":"PV Radtke","year":"2014","unstructured":"Radtke, P.V., Granger, E., Sabourin, R., Gorodnichy, D.O.: Skew-sensitive Boolean combination for adaptive ensembles \u2013 an application to face recognition in video surveillance. Inf. Fus. 20, 31\u201348 (2014). https:\/\/doi.org\/10.1016\/j.inffus.2013.11.001","journal-title":"Inf. Fus."},{"issue":"4","key":"12_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1249","volume":"8","author":"O Sagi","year":"2018","unstructured":"Sagi, O., Rokach, L.: Ensemble learning: a survey. WIREs Data Min. Knowl. Discovery 8(4), e1249 (2018). https:\/\/doi.org\/10.1002\/widm.1249","journal-title":"WIREs Data Min. Knowl. Discovery"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Schumann, J., Liu, Y. (eds.): Applications of Neural Networks in High Assurance Systems, Studies in Computational Intelligence, vol. 268. Springer, Cham (2010). https:\/\/doi.org\/10.1007\/978-3-642-10690-3","DOI":"10.1007\/978-3-642-10690-3"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Scott, M.J.J., Niranjan, M., Prager, R.W.: Realisable classifiers: improving operating performance on variable cost problems. In: Proceedings of the British Machine Vision Conference, pp. 31.1\u201331.10. BMVA Press (1998)","DOI":"10.5244\/C.12.31"},{"key":"12_CR20","volume-title":"Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)","author":"S Thrun","year":"2005","unstructured":"Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics (Intelligent Robotics and Autonomous Agents). The MIT Press, Cambridge (2005)"},{"key":"12_CR21","unstructured":"U.S. Department of Transportation, N.H.T.S.A.: Automated driving systems 2.0. a vision for safety (2017). www.nhtsa.gov\/sites\/nhtsa.dot.gov\/files\/documents\/13069a-ads2.0_090617_v9a_tag.pdf"}],"container-title":["Lecture Notes in Computer Science","Applicable Formal Methods for Safe Industrial Products"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40132-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:03:54Z","timestamp":1692183834000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40132-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031401312","9783031401329"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40132-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}