{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:26:58Z","timestamp":1743496018649},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642130212"},{"type":"electronic","value":"9783642130229"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13022-9_14","type":"book-chapter","created":{"date-parts":[[2011,1,21]],"date-time":"2011-01-21T20:50:16Z","timestamp":1295643016000},"page":"133-142","source":"Crossref","is-referenced-by-count":1,"title":["Safe Learning with Real-Time Constraints: A Case Study"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Metta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Natale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shashank","family":"Pathak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10514-006-9013-8","volume":"22","author":"J. Kramer","year":"2007","unstructured":"Kramer, J., Scheutz, M.: Development environments for autonomous mobile robots: A survey. Autonomous Robots\u00a022(2), 101\u2013132 (2007)","journal-title":"Autonomous Robots"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1177\/0278364907088064","volume":"27","author":"J.A. Bagnell","year":"2008","unstructured":"Bagnell, J.A., Schaal, S.: Special issue on Machine Learning in Robotics (Editorial). The International Journal of Robotics Research\u00a027(2), 155\u2013156 (2008)","journal-title":"The International Journal of Robotics Research"},{"key":"14_CR3","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. Springer, Heidelberg (1999)"},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/307988.307989","volume":"4","author":"C. Kern","year":"1999","unstructured":"Kern, C., Greenstreet, M.R.: Formal verification in hardware design: a survey. ACM Transactions on Design Automation of Electronic Systems (TODAES)\u00a04(2), 123\u2013193 (1999)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.J., Lerda, F.: Model checking programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-73368-3_48","volume-title":"Computer Aided Verification","author":"E. Plaku","year":"2007","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Hybrid systems: From verification to falsification. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 463\u2013476. Springer, Heidelberg (2007)"},{"issue":"2-3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.robot.2004.03.010","volume":"47","author":"D.C. Bentivegna","year":"2004","unstructured":"Bentivegna, D.C., Atkeson, C.G., Cheng, G.: Learning tasks from observation and practice. Robotics and Autonomous Systems\u00a047(2-3), 163\u2013169 (2004)","journal-title":"Robotics and Autonomous Systems"},{"key":"14_CR8","series-title":"LNCS","first-page":"209","volume-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. LNCS, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","volume":"1","author":"M. Franzle","year":"2007","unstructured":"Franzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. Journal on Satisfiability, Boolean Modeling and Computation\u00a01, 209\u2013236 (2007)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"issue":"1","key":"14_CR10","first-page":"43","volume":"3","author":"G. Metta","year":"2006","unstructured":"Metta, G., Fitzpatrick, P., Natale, L.: YARP: yet another robot platform. International Journal on Advanced Robotics Systems\u00a03(1), 43\u201348 (2006)","journal-title":"International Journal on Advanced Robotics Systems"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1656274.1656278","volume":"11","author":"M. Hall","year":"2009","unstructured":"Hall, M., Frank, E., Holmes, G., Pfahringer, B., Reutemann, P., Witten, I.H.: The weka data mining software: An update. SIGKDD Explorations\u00a011, 10\u201318 (2009)","journal-title":"SIGKDD Explorations"},{"issue":"5","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1109\/72.870050","volume":"11","author":"S.K. Shevade","year":"2000","unstructured":"Shevade, S.K., Keerthi, S.S., Bhattacharyya, C., Murthy, K.R.K.: Improvements to the SMO algorithm for SVM regression. IEEE Transactions on Neural Networks\u00a011(5), 1188\u20131193 (2000)","journal-title":"IEEE Transactions on Neural Networks"},{"key":"14_CR13","unstructured":"Smith, D.J., Simpson, K.G.L.: Functional safety: a straightforward guide to applying IEC 61508 and related standards. Butterworth-Heinemann (2004)"},{"key":"14_CR14","unstructured":"Pappas, G., Kress-Gazit, H. (eds.): ICRA Workshop on Formal Methods in Robotics and Automation (2009)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Cervera, E., Garcia-Aracil, N., Martinez, E., Nomdedeu, L., del Pobil, A.P.: Safety for a robot arm moving amidst humans by using panoramic vision. In: IEEE International Conference on Robotics and Automation, ICRA 2008, pp. 2183\u20132188 (2008)","DOI":"10.1109\/ROBOT.2008.4543530"},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.720","volume":"13","author":"D.F. Gordon","year":"2000","unstructured":"Gordon, D.F.: Asimovian adaptive agents. Journal of Artificial Intelligence Research\u00a013, 95\u2013153 (2000)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1162\/jmlr.2003.3.4-5.803","volume":"3","author":"T.J. Perkins","year":"2003","unstructured":"Perkins, T.J., Barto, A.G.: Lyapunov design for safe reinforcement learning. The Journal of Machine Learning Research\u00a03, 803\u2013832 (2003)","journal-title":"The Journal of Machine Learning Research"}],"container-title":["Lecture Notes in Computer Science","Trends in Applied Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13022-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:59:49Z","timestamp":1606186789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13022-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642130212","9783642130229"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13022-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}