{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:34:20Z","timestamp":1742920460832,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030873479"},{"type":"electronic","value":"9783030873486"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87348-6_8","type":"book-chapter","created":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T18:08:32Z","timestamp":1634494112000},"page":"137-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Ruchkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"issue":"4","key":"8_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)","journal-title":"IEEE Trans. Robot."},{"key":"8_CR2","unstructured":"Alves, E.E., Bhatt, D., Hall, B., Driscoll, K., Murugesan, A., Rushby, J.: Considerations in assuring safety of increasingly autonomous systems. Technical Report NASA\/CR-2018-220080, NASA, July 2018"},{"key":"8_CR3","unstructured":"Carpenter, T.J., Ivanov, R., Lee, I., Weimer, J.: ModelGuard: Runtime Validation of Lipschitz-continuous Models. In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021). arXiv: 2104.15006 (2021)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Desai, A., Ghosh, S., Seshia, S.A., Shankar, N., Tiwari, A.: SOTER: a runtime assurance framework for programming safe robotics systems. In: 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 138\u2013150 (2019)","DOI":"10.1109\/DSN.2019.00027"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Ericson, C.: Hazard Analysis Techniques for System Safety. Wiley, New York (2005)","DOI":"10.1002\/0471739421"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-030-26250-1_13","volume-title":"Computer Safety, Reliability, and Security","author":"NB Haupt","year":"2019","unstructured":"Haupt, N.B., Liggesmeyer, P.: A runtime safety monitoring approach for adaptable autonomous systems. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2019. LNCS, vol. 11699, pp. 166\u2013177. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26250-1_13"},{"key":"8_CR7","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_CR8","unstructured":"Jang, S., Ivanov, R., Lee, I., Weimer, J.: Confidence calibration with bounded error using transformations. In: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics (AISTATS 2021), February 2021"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MITS.2016.2583491","volume":"9","author":"P Koopman","year":"2017","unstructured":"Koopman, P., Wagner, M.: Autonomous vehicle safety: an interdisciplinary challenge. IEEE Intell. Transp. Syst. Mag. 9(1), 90\u201396 (2017)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"issue":"5","key":"8_CR10","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1109\/TSMC.2016.2633291","volume":"48","author":"M Machin","year":"2018","unstructured":"Machin, M., Guiochet, J., Waeselynck, H., Blanquart, J.-P., Roy, M., Masson, L.: SMOF - a safety monitoring framework for autonomous systems. IEEE Trans. Syst. Man Cybern. Syst. 48(5), 702\u2013715 (2018)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"8_CR11","unstructured":"Pumfrey, D.J.: The principled design of computer system safety analyses. Ph.D. thesis, University of York (1999)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Royo, V.R., Fridovich-Keil, D., Herbert, S.L., Tomlin, C.J.: A classification-based approach for approximate reachability. In: International Conference on Robotics and Automation (ICRA), pp. 7697\u20137704 (2019)","DOI":"10.1109\/ICRA.2019.8793919"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Ruchkin, I., Sokolsky, O., Weimer, J., Hedaoo, T., Lee, I.: Compositional probabilistic analysis of temporal properties over stochastic detectors. IEEE Trans. Comput. Aided Des. Integrated Circuits Syst. 39, 3288 (2020)","DOI":"10.1109\/TCAD.2020.3012643"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Softw. 18(4), 20\u201328 (2001)","journal-title":"IEEE Softw."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D., et al.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_15"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Outer Space"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87348-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T02:22:15Z","timestamp":1725934935000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87348-6_8"}},"subtitle":["Position Paper"],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030873479","9783030873486"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87348-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}