{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:07:46Z","timestamp":1760346466735,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083377"},{"type":"electronic","value":"9783319083384"}],"license":[{"start":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T00:00:00Z","timestamp":1441238400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T00:00:00Z","timestamp":1441238400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-08338-4_121","type":"book-chapter","created":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T07:13:31Z","timestamp":1441178011000},"page":"1683-1700","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Engineering Approaches and Methods to Verify Software in Autonomous Systems"],"prefix":"10.1007","author":[{"given":"G.","family":"Cicala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Khalili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Metta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Natale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Pathak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,3]]},"reference":[{"issue":"12","key":"121_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.2008.479","volume":"41","author":"M. Bajracharya","year":"2008","unstructured":"M. Bajracharya, M. Maimone, and D. Helmick. Autonomy for mars rovers: Past, present, and future. Computer, 41(12):44\u201350, 2008.","journal-title":"Computer"},{"key":"121_CR2","doi-asserted-by":"crossref","unstructured":"M. Beetz, U. Klank, I. Kresse, A. Maldonado, L. Mosenlechner, D. Pangercic, T. Ruhr, and M. Tenorth. Robotic roommates making pancakes. In Humanoid Robots (Humanoids), 2011 11th IEEE-RAS International Conference on, pages 529\u2013536. IEEE, 2011.","DOI":"10.1109\/Humanoids.2011.6100855"},{"issue":"2","key":"121_CR3","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MRA.2013.2255424","volume":"20","author":"Gill Pratt","year":"2013","unstructured":"G. Pratt and J. Manzo. The DARPA Robotics Challenge [Competitions]. Robotics & Automation Magazine, IEEE, 20(2):10\u201312, 2013.","journal-title":"IEEE Robotics & Automation Magazine"},{"issue":"1","key":"121_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MRA.2007.339624","volume":"14","author":"Calin Belta","year":"2007","unstructured":"C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G.J. Pappas. Symbolic planning and control of robot motion [grand challenges of robotics]. Robotics & Automation Magazine, IEEE, 14(1):61\u201370, 2007.","journal-title":"IEEE Robotics & Automation Magazine"},{"issue":"4","key":"121_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592438","volume":"41","author":"Ranjit Jhala","year":"2009","unstructured":"R. Jhala and R. Majumdar. Software model checking. ACM Computing Surveys (CSUR), 41(4):21, 2009.","journal-title":"ACM Computing Surveys"},{"key":"121_CR6","unstructured":"S. Scherer, F. Lerda, and E. M. Clarke. Model checking of robotic control systems. In Proceedings of ISAIRAS 2005 Conference, pages 5\u20138, 2005."},{"key":"121_CR7","unstructured":"M. Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to Support Integration Testing. PhD thesis, Institut Polytechnique de Grenoble, Grenoble, France, 2008."},{"key":"121_CR8","unstructured":"A. Khalili and A. Tacchella. AIDE: Automata-Identification Engine. http:\/\/aide.codeplex.com."},{"issue":"1","key":"121_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.robot.2007.09.014","volume":"56","author":"Paul Fitzpatrick","year":"2008","unstructured":"P. Fitzpatrick, G. Metta, and L. Natale. Towards long-lived robot genes. Robotics and Autonomous systems, 56(1):29\u201345, 2008.","journal-title":"Robotics and Autonomous Systems"},{"key":"121_CR10","doi-asserted-by":"crossref","unstructured":"R.S. Sutton and A.G. Barto. Reinforcement Learning - An Introduction. MIT Press, 1998.","DOI":"10.1109\/TNN.1998.712192"},{"issue":"2","key":"121_CR11","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1177\/0278364907088064","volume":"27","author":"J. Andrew Bagnell","year":"2008","unstructured":"J.A. Bagnell and S. Schaal. Special issue on Machine Learning in Robotics (Editorial). The International Journal of Robotics Research, 27(2):155\u2013156, 2008.","journal-title":"The International Journal of Robotics Research"},{"key":"121_CR12","doi-asserted-by":"crossref","unstructured":"J.H. Gillula and C.J. Tomlin. Guaranteed Safe Online Learning via Reachability: tracking a ground target using a quadrotor. In ICRA, pages 2723\u20132730, 2012.","DOI":"10.1109\/ICRA.2012.6225136"},{"key":"121_CR13","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. Stochastic model checking. Formal methods for performance evaluation, pages 220\u2013270, 2007.","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"121_CR14","unstructured":"Rudolf Emil Kalman et\u00a0al. Contributions to the theory of optimal control. Bol. Soc. Mat. Mexicana, 5(2):102\u2013119, 1960."},{"key":"121_CR15","doi-asserted-by":"crossref","unstructured":"P. Lancaster and L. Rodman. Algebraic riccati equations. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198537953.001.0001"},{"key":"121_CR16","unstructured":"MATLAB. version 8.1.0 (R2013a). The MathWorks Inc., Natick, Massachusetts, 2013."},{"key":"121_CR17","doi-asserted-by":"crossref","unstructured":"L. Cordeiro, B. Fischer, and J. Marques-Silva. SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Int.l Conf. on Automated Software Engineering, pages 137\u2013148, 2009.","DOI":"10.1109\/ASE.2009.63"},{"key":"121_CR18","doi-asserted-by":"crossref","unstructured":"N. Mohamed, J. Al-Jaroodi, and I. Jawhar. Middleware for robotics: A survey. In Robotics, Automation and Mechatronics, 2008 IEEE Conference on, pages 736\u2013742. IEEE, 2008.","DOI":"10.1109\/RAMECH.2008.4681485"},{"key":"121_CR19","doi-asserted-by":"crossref","unstructured":"G. Metta, L. Natale, F. Nori, G. Sandini, D. Vernon, L. Fadiga, C. von Hofsten, K. Rosander, M. Lopes, J. Santos-Victor, et\u00a0al. The iCub Humanoid Robot: An Open-Systems Platform for Research in Cognitive Development. Neural networks: the official journal of the International Neural Network Society, 2010.","DOI":"10.1016\/j.neunet.2010.08.010"},{"key":"121_CR20","unstructured":"M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, volume 3, 2009."},{"issue":"2","key":"121_CR21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"Dana Angluin","year":"1987","unstructured":"D. Angluin. Learning regular sets from queries and counterexamples. Information and computation, 75(2):87\u2013106, 1987.","journal-title":"Information and Computation"},{"key":"121_CR22","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/11498490_5","volume-title":"Model-Based Testing of Reactive Systems","author":"Angelo Gargantini","year":"2005","unstructured":"A. Gargantini. Conformance testing. Model-Based Testing of Reactive Systems, pages 87\u2013111, 2005."},{"key":"121_CR23","unstructured":"O. Niese. An integrated approach to testing complex systems. PhD thesis, Universit\u00e4t Dortmund, Dortmund, Germany, December 2003."},{"key":"121_CR24","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/978-3-642-15375-4_6","volume-title":"CONCUR 2010 - Concurrency Theory","author":"Fides Aarts","year":"2010","unstructured":"F. Aarts and F. Vaandrager. Learning I\/O automata. CONCUR 2010-Concurrency Theory, pages 71\u201385, 2010."},{"key":"121_CR25","doi-asserted-by":"crossref","unstructured":"A. Khalili and A. Tacchella. Learning nondeterministic Mealy machines. Technical report, University of Genoa, 2013.","DOI":"10.1155\/2013\/373265"},{"key":"121_CR26","doi-asserted-by":"crossref","unstructured":"D. C. Bentivegna, C. G. Atkeson A. Ude, and G. Cheng. Learning to Act from Observation and Practice. International Journal of Humanoid Robotics, 1(4), December 2004.","DOI":"10.1142\/S0219843604000307"},{"key":"121_CR27","doi-asserted-by":"crossref","unstructured":"G. Metta, L. Natale, S. Pathak, L. Pulina, and A. Tacchella. Safe and effective learning: A case study. In ICRA, pages 4809\u20134814, 2010.","DOI":"10.1109\/ROBOT.2010.5509892"},{"key":"121_CR28","doi-asserted-by":"crossref","unstructured":"S. Pathak, L. Pulina, G. Metta, and A. Tacchella. Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub. In IROS, pages 170\u2013175, 2013.","DOI":"10.1109\/IROS.2013.6696349"},{"key":"121_CR29","doi-asserted-by":"crossref","unstructured":"E. Abrah\u00e1m, N. Jansen, R. Wimmer, J. Katoen, and B. Becker. DTMC model checking by SCC reduction. In Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the, pages 37\u201346. IEEE, 2010.","DOI":"10.1109\/QEST.2010.13"},{"issue":"2","key":"121_CR30","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"Joost-Pieter Katoen","year":"2011","unstructured":"J.P. Katoen, I.S. Zapreev, E.M. Hahn, H. Hermanns, and D.N. Jansen. The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68(2):90\u2013104, 2011.","journal-title":"Performance Evaluation"},{"key":"121_CR31","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic symbolic model checker. Computer Performance Evaluation: Modelling Techniques and Tools, pages 113\u2013140, 2002.","DOI":"10.1007\/3-540-46029-2_13"},{"key":"121_CR32","doi-asserted-by":"crossref","unstructured":"L. Pulina and A. Tacchella. An Abstraction-Refinement Approach to Verification of Artificial Neural Networks. In 22nd International Conference on Computer Aided Verification (CAV 2010), volume 6174 of Lecture Notes in Computer Science, pages 243\u2013257. Springer, 2010.","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"121_CR33","doi-asserted-by":"crossref","unstructured":"X.C. Ding, S.L. Smith, C. Belta, and D. Rus. MDP optimal control under temporal logic constraints. In Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on, pages 532\u2013538. IEEE, 2011.","DOI":"10.1109\/CDC.2011.6161122"}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Autonomous Systems 13"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08338-4_121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:36:06Z","timestamp":1718055366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08338-4_121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,3]]},"ISBN":["9783319083377","9783319083384"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08338-4_121","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015,9,3]]},"assertion":[{"value":"3 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}