{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:20:41Z","timestamp":1778498441935,"version":"3.51.4"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/robot.2010.5509892","type":"proceedings-article","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T16:07:20Z","timestamp":1279814840000},"page":"4809-4814","source":"Crossref","is-referenced-by-count":8,"title":["Safe and effective learning: A case study"],"prefix":"10.1109","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":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Lecture Notes in Computer Science"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","article-title":"Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure","volume":"1","author":"franzle","year":"2007","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref12","article-title":"United States Air hockey Association web site","year":"2009"},{"key":"ref13","first-page":"43","article-title":"YARP: yet another robot platform","volume":"3","author":"metta","year":"2006","journal-title":"International Journal on Advanced Robotics Systems"},{"key":"ref14","author":"smith","year":"2004","journal-title":"Functional safety a straightforward guide to applying IEC 61508 and related standards"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543530"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.720","article-title":"Asimovian adaptive agents","volume":"13","author":"gordon","year":"2000","journal-title":"Journal of Artificial Intelligence Research"},{"key":"ref17","first-page":"803","article-title":"Lyapunov design for safe reinforcement learning","volume":"3","author":"perkins","year":"2003","journal-title":"The Journal of Machine Learning Research"},{"key":"ref4","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref3","author":"pappas","year":"2009","journal-title":"ICRA'10 Workshop on Formal Methods for Robotics and Automation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2004.03.010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_48"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1177\/0278364907088064"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/37.768537"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-006-9013-8"}],"event":{"name":"2010 IEEE International Conference on Robotics and Automation (ICRA 2010)","location":"Anchorage, AK","start":{"date-parts":[[2010,5,3]]},"end":{"date-parts":[[2010,5,7]]}},"container-title":["2010 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5501116\/5509124\/05509892.pdf?arnumber=5509892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T10:19:40Z","timestamp":1591525180000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5509892\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/robot.2010.5509892","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]}}}