{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:08:42Z","timestamp":1743008922327,"version":"3.40.3"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031274800"},{"type":"electronic","value":"9783031274817"}],"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-27481-7_2","type":"book-chapter","created":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T14:03:10Z","timestamp":1677765790000},"page":"10-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Next Big Thing: From Embedded Systems to\u00a0Embodied Actors"],"prefix":"10.1007","author":[{"given":"Harald","family":"Ruess","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,3,3]]},"reference":[{"key":"2_CR1","first-page":"19","volume":"1508","author":"V Aravantinos","year":"2015","unstructured":"Aravantinos, V., Voss, S., Teufl, S., H\u00f6lzl, F., Sch\u00e4tz, B.: AutoFOCUS3: tooling concepts for seamless, model-based development of embedded systems. MoDELS 1508, 19\u201326 (2015)","journal-title":"MoDELS"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1140\/epjb\/e2008-00175-0","volume":"63","author":"N Ay","year":"2008","unstructured":"Ay, N., Bertschinger, N., Der, R., G\u00fcttler, F., Olbrich, E.: Predictive information and explorative behavior of autonomous robots. Eur. Phys. J. B 63(3), 329\u2013339 (2008). https:\/\/doi.org\/10.1140\/epjb\/e2008-00175-0","journal-title":"Eur. Phys. J. B"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781108770750","volume-title":"Foundations of Probabilistic Programming","author":"G Barthe","year":"2020","unstructured":"Barthe, G., Katoen, J.P., Silva, A.: Foundations of Probabilistic Programming. Cambridge University Press, Cambridge (2020)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Beyene, T.A., Carlan, C.: CyberGSN: a semi-formal language for specifying safety cases. In: 2021 51st Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 63\u201366. IEEE (2021)","DOI":"10.1109\/DSN-W52860.2021.00021"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1006\/obhd.1994.1043","volume":"58","author":"M Bj\u00f6rkman","year":"1994","unstructured":"Bj\u00f6rkman, M.: Internal cue theory: calibration and resolution of confidence in general knowledge. Organ. Behav. Hum. Decis. Process. 58(3), 386\u2013405 (1994)","journal-title":"Organ. Behav. Hum. Decis. Process."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Booch, G., et al.: Thinking fast and slow in AI. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, pp. 15042\u201315046 (2021)","DOI":"10.1609\/aaai.v35i17.17765"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-319-10329-7_2","volume-title":"Smart Grid Security","author":"D Bytschkow","year":"2014","unstructured":"Bytschkow, D., Quilbeuf, J., Igna, G., Ruess, H.: Distributed MILS architectural approach for secure smart grids. In: Cuellar, J. (ed.) SmartGridSec 2014. LNCS, vol. 8448, pp. 16\u201329. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10329-7_2"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"C\u00e2rlan, C., Beyene, T.A., Ruess, H.: Integrated formal methods for constructing assurance cases. In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 221\u2013228. IEEE (2016)","DOI":"10.1109\/ISSREW.2016.21"},{"key":"2_CR9","unstructured":"Cheng, C.H., Bensalem, S., Ruess, H., Shankar, N., Tiwari, A.: EFSMT: a logical framework for the design of cyber-physical systems. Cyber-Phys. Syst. Architectures Design Methodologies (CPSArch) (2014)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-41528-4_6","volume-title":"Computer Aided Verification","author":"C-H Cheng","year":"2016","unstructured":"Cheng, C.-H., Hamza, Y., Ruess, H.: Structural synthesis for GXW specifications. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 95\u2013117. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_6"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., Huang, C.H., Brunner, T., Hashemi, V.: Towards safety verification of direct perception neural networks. In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1640\u20131643. IEEE (2020)","DOI":"10.23919\/DATE48585.2020.9116205"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., Huang, C.H., N\u00fchrenberg, G.: NN-Dependability-Kit: engineering neural networks for safety-critical autonomous driving systems. In: 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1\u20136. IEEE (2019)","DOI":"10.1109\/ICCAD45719.2019.8942153"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/978-3-319-08867-9_36","volume-title":"Computer Aided Verification","author":"C-H Cheng","year":"2014","unstructured":"Cheng, C.-H., Huang, C.-H., Ruess, H., Stattelmann, S.: G4LTL-ST: automatic generation of PLC programs. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 541\u2013549. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_36"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., Huang, C.H., Ruess, H., Yasuoka, H., et al.: Towards dependability metrics for neural networks. In: 2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), pp. 1\u20134. IEEE (2018)","DOI":"10.1109\/MEMCOD.2018.8556962"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-030-01090-4_8","volume-title":"Automated Technology for Verification and Analysis","author":"C-H Cheng","year":"2018","unstructured":"Cheng, C.-H., Huang, C.-H., Yasuoka, H.: Quantitative projection coverage for testing ML-enabled autonomous systems. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 126\u2013142. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_8"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-319-68167-2_18","volume-title":"Automated Technology for Verification and Analysis","author":"C-H Cheng","year":"2017","unstructured":"Cheng, C.-H., N\u00fchrenberg, G., Ruess, H.: Maximum resilience of artificial neural networks. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 251\u2013268. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_18"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., N\u00fchrenberg, G., Yasuoka, H.: Runtime monitoring neuron activation patterns. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 300\u2013303. IEEE (2019)","DOI":"10.23919\/DATE.2019.8714971"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-35873-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Cruanes","year":"2013","unstructured":"Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool integration with the evidential tool bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275\u2013294. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_18"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Dantas, Y.G., Nigam, V.: Automating safety and security co-design through semantically-rich architectural patterns. arXiv preprint arXiv:2201.10563 (2022)","DOI":"10.1145\/3565269"},{"key":"2_CR20","unstructured":"Dantas, Y.G., Nigam, V., Ruess, H.: Security engineering for ISO 21434. arXiv preprint arXiv:2012.15080 (2020)"},{"key":"2_CR21","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. IEEE (2019)","DOI":"10.1109\/DSN.2019.00027"},{"issue":"3","key":"2_CR22","first-page":"3","volume":"38","author":"TG Dietterich","year":"2017","unstructured":"Dietterich, T.G.: Steps toward robust artificial intelligence. AI Mag. 38(3), 3\u201324 (2017)","journal-title":"AI Mag."},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/978-3-319-08867-9_49","volume-title":"Computer Aided Verification","author":"B Dutertre","year":"2014","unstructured":"Dutertre, B.: Yices 2.2. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 737\u2013744. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_49"},{"key":"2_CR24","unstructured":"Dutertre, B.: Solving exists\/forall problems with Yices. In: Workshop on satisfiability modulo theories (2015)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Eder, J., Bahya, A., Voss, S., Ipatiov, A., Khalil, M.: From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 438\u2013446 (2018)","DOI":"10.1145\/3239372.3239385"},{"key":"2_CR26","unstructured":"Eder, J., Voss, S.: Usable design space exploration in AutoFOCUS3. In: EduSymp\/OSS4MDE@ MoDELS, pp. 51\u201358 (2016)"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/s10703-019-00334-z","volume":"54","author":"B Finkbeiner","year":"2019","unstructured":"Finkbeiner, B., Hahn, C., Stenger, M., Tentrup, L.: Monitoring hyperproperties. Formal Methods Syst. Des. 54(3), 336\u2013363 (2019)","journal-title":"Formal Methods Syst. Des."},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1038\/nrn2787","volume":"11","author":"K Friston","year":"2010","unstructured":"Friston, K.: The free-energy principle: a unified brain theory? Nat. Rev. Neurosci. 11(2), 127\u2013138 (2010)","journal-title":"Nat. Rev. Neurosci."},{"key":"2_CR29","unstructured":"Gade, D., Deshpande, D.S.: A literature review on assurance driven software design. Int. J. Adv. Res. Comput. Commun. Eng. 4(9) (2015)"},{"key":"2_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29099-2","volume-title":"AgendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems","author":"E Geisberger","year":"2012","unstructured":"Geisberger, E., Broy, M.: AgendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems, vol. 1. Springer-Verlag, Cham (2012)"},{"key":"2_CR31","unstructured":"Goodloe, A.E., Pike, L.: Monitoring distributed real-time systems: a survey and future directions. Technical report (2010)"},{"key":"2_CR32","unstructured":"Ha, V., Rangarajan, M., Cofer, D., Rue, H., Duterte, B.: Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report. In: Proceedings of the 26th International Conference on Software Engineering, pp. 304\u2013313. IEEE (2004)"},{"key":"2_CR33","unstructured":"Hawkins, R., Paterson, C., Picardi, C., Jia, Y., Calinescu, R., Habli, I.: Guidance on the assurance of machine learning in autonomous systems (amlas). arXiv preprint arXiv:2102.01564 (2021)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-030-54549-9_15","volume-title":"Computer Safety, Reliability, and Security","author":"S Jha","year":"2020","unstructured":"Jha, S., Rushby, J., Shankar, N.: Model-centered assurance for autonomous systems. In: Casimiro, A., Ortmeier, F., Bitsch, F., Ferreira, P. (eds.) SAFECOMP 2020. LNCS, vol. 12234, pp. 228\u2013243. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54549-9_15"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Kondeva, A., Nigam, V., Ruess, H., Carlan, C.: On computer-aided techniques for supporting safety and security co-engineering. In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 346\u2013353. IEEE (2019)","DOI":"10.1109\/ISSREW.2019.00095"},{"key":"2_CR36","unstructured":"Koopman, P.: Key ideas: UL 4600 safety standard for autonomous vehicles (2022)"},{"key":"2_CR37","unstructured":"Kotseruba, I., Gonzalez, O.J.A., Tsotsos, J.K.: A review of 40 years of cognitive architecture research: focus on perception, attention, learning and applications. arXiv preprint arXiv:1610.08602 pp. 1\u201374 (2016)"},{"issue":"1","key":"2_CR38","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1162\/003355301556356","volume":"116","author":"D Laibson","year":"2001","unstructured":"Laibson, D.: A cue-theory of consumption. Q. J. Econ. 116(1), 81\u2013119 (2001)","journal-title":"Q. J. Econ."},{"key":"2_CR39","volume-title":"The Soar Cognitive Architecture","author":"JE Laird","year":"2019","unstructured":"Laird, J.E.: The Soar Cognitive Architecture. MIT Press, Cambridge (2019)"},{"issue":"6266","key":"2_CR40","doi-asserted-by":"publisher","first-page":"1332","DOI":"10.1126\/science.aab3050","volume":"350","author":"BM Lake","year":"2015","unstructured":"Lake, B.M., Salakhutdinov, R., Tenenbaum, J.B.: Human-level concept learning through probabilistic program induction. Science 350(6266), 1332\u20131338 (2015)","journal-title":"Science"},{"key":"2_CR41","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"EA Lee","year":"2016","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, Cambridge (2016)"},{"key":"2_CR42","unstructured":"Levin, T.E., Nguyen, T.D., Irvine, C.E.: Separation kernel protection profile revisited: choices and rationale. Technical report Naval Postgraduate School, Monterey, CA (2010)"},{"key":"2_CR43","unstructured":"Liu, Y., Shen, H.: Human centric machine learning: A human machine collaboration. Technical Report, ISSN Print: 2699\u20131217, ISSN: 2700\u20132977, fortiss Whitepaper (2021)"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-319-57288-8_31","volume-title":"NASA Formal Methods","author":"L L\u00facio","year":"2017","unstructured":"L\u00facio, L., Rahman, S., Cheng, C.-H., Mavin, A.: Just formal enough? automated analysis of EARS requirements. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 427\u2013434. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_31"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy approach to requirements syntax (ears). In: 2009 17th IEEE International Requirements Engineering Conference, pp. 317\u2013322. IEEE (2009)","DOI":"10.1109\/RE.2009.9"},{"issue":"3","key":"2_CR46","doi-asserted-by":"publisher","first-page":"709","DOI":"10.2307\/258792","volume":"20","author":"RC Mayer","year":"1995","unstructured":"Mayer, R.C., Davis, J.H., Schoorman, F.D.: An integrative model of organizational trust. Acad. Manag. Rev. 20(3), 709\u2013734 (1995)","journal-title":"Acad. Manag. Rev."},{"key":"2_CR47","unstructured":"Metzler, T., Shea, K., et al.: Taxonomy of cognitive functions. In: DS 68\u20137: Proceedings of the 18th International Conference on Engineering Design (ICED 11), Impacting Society through Engineering Design, Vol. 7: Human Behaviour in Design, Lyngby\/Copenhagen, Denmark, 15.-19.08. 2011, pp. 330\u2013341 (2011)"},{"key":"2_CR48","first-page":"152","volume":"3","author":"A Nancy","year":"2016","unstructured":"Nancy, A., Balamurugan, D.M., Vijaykumar, S.: A comparative analysis of cognitive architecture. Int. J. Adv. Res. Trends Eng. Technol. (IJARTET) 3, 152\u2013155 (2016)","journal-title":"Int. J. Adv. Res. Trends Eng. Technol. (IJARTET)"},{"key":"2_CR49","volume-title":"Unified Theories of Cognition","author":"A Newell","year":"1994","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1994)"},{"issue":"2","key":"2_CR50","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1137\/10080782X","volume":"55","author":"H Owhadi","year":"2013","unstructured":"Owhadi, H., Scovel, C., Sullivan, T.J., McKerns, M., Ortiz, M.: Optimal uncertainty quantification. Siam Rev. 55(2), 271\u2013345 (2013)","journal-title":"Siam Rev."},{"key":"2_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34614-9","volume-title":"Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology","author":"K Pohl","year":"2012","unstructured":"Pohl, K., H\u00f6nninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Cham (2012)"},{"key":"2_CR52","unstructured":"Potapov, A.: A step from probabilistic programming to cognitive architectures. arXiv preprint arXiv:1605.01180 (2016)"},{"key":"2_CR53","unstructured":"Putzer, H.J., Rue\u00df, H., Koch, J.: Trustworthy AI-based systems with VDE-AR-E 2842\u201361 (2021)"},{"key":"2_CR54","unstructured":"Quilbeuf, J., Igna, G., Bytschkow, D., Ruess, H.: Security policies for distributed systems. arXiv preprint arXiv:1310.3723 (2013)"},{"key":"2_CR55","unstructured":"Riegel, R., et al.: Logical neural networks. arXiv preprint arXiv:2006.13155 (2020)"},{"key":"2_CR56","unstructured":"Ruess, H.: Systems challenges for trustworthy embodied systems. arXiv preprint arXiv:2201.03413 (2022)"},{"key":"2_CR57","unstructured":"Rue\u00df, H., Burton, S.: Safe AI- How is this possible? arXiv preprint arXiv:2201.10436 (2022)"},{"key":"2_CR58","unstructured":"Rule, J.S.: The child as hacker: building more human-like models of learning. Ph.D. thesis, Massachusetts Institute of Technology (2020)"},{"key":"2_CR59","unstructured":"Rushby, J., Bloomfield, R.: Assessing confidence with assurance 2.0. arXiv preprint arXiv:2205.04522 (2022)"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Russell, S.: Artificial intelligence and the problem of control. Perspect. Digit. Humanism, p. 19 (2022)","DOI":"10.1007\/978-3-030-86144-5_3"},{"key":"2_CR61","unstructured":"Sahu, A., V\u00e1llez, N., Rodr\u00edguez-Bobada, R., Alhaddad, M., Moured, O., Neugschwandtner, G.: Applications of the neural network dependability kit in real-world environments. arXiv preprint arXiv:2012.09602 (2020)"},{"issue":"7","key":"2_CR62","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/3503914","volume":"65","author":"SA Seshia","year":"2022","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Toward verified artificial intelligence. Commun. ACM 65(7), 46\u201355 (2022)","journal-title":"Commun. ACM"},{"key":"2_CR63","unstructured":"Shankar, N., et al.: Descert: design for certification. arXiv preprint arXiv:2203.15178 (2022)"},{"key":"2_CR64","unstructured":"Stoica, I., et al.: A berkeley view of systems challenges for AI. arXiv preprint arXiv:1712.05855 (2017)"},{"issue":"7","key":"2_CR65","doi-asserted-by":"publisher","first-page":"964","DOI":"10.1016\/j.ress.2007.04.002","volume":"93","author":"B Sudret","year":"2008","unstructured":"Sudret, B.: Global sensitivity analysis using polynomial chaos expansions. Reliab. Eng. Syst. Saf. 93(7), 964\u2013979 (2008)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"2_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-030-88494-9_19","volume-title":"Runtime Verification","author":"H Torfah","year":"2021","unstructured":"Torfah, H., Junges, S., Fremont, D.J., Seshia, S.A.: Formal analysis of AI-based autonomy: from modeling to runtime assurance. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 311\u2013330. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_19"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-27481-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T14:04:53Z","timestamp":1677765893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-27481-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031274800","9783031274817"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-27481-7_2","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":"3 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"L\u00fcbeck","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fm2023.isp.uni-luebeck.de\/wordpress\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"95","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The proceedings also include 7 short industry papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}