{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:26:38Z","timestamp":1743110798521,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642232312"},{"type":"electronic","value":"9783642232329"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23232-9_29","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T02:57:44Z","timestamp":1314154664000},"page":"323-335","source":"Crossref","is-referenced-by-count":7,"title":["Towards Safe Human-Robot Interaction"],"prefix":"10.1007","author":[{"given":"Elena Corina","family":"Grigore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Lenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Skachek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony G.","family":"Pipe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Melhuish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","first-page":"631","volume-title":"European Conference on Artificial Intelligence","author":"A. Basu","year":"2008","unstructured":"Basu, A., Gallien, M., Lesire, C., Nguyen, T.H., Bensalem, S., Ingrand, F., Sifakis, J.: Incremental component-based construction and verification of a robotic system. In: European Conference on Artificial Intelligence, pp. 631\u2013635. IOS Press, Amsterdam (2008)"},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MRA.2008.931631","volume":"16","author":"S. Bensalem","year":"2009","unstructured":"Bensalem, S., Gallien, M., Ingrand, F., Kahloul, I., Nguyen, T.H.: Toward a More Dependable Software Architecture for Autonomous Robots. IEEE Robotics and Automation Magazine\u00a016(1), 67\u201377 (2009)","journal-title":"IEEE Robotics and Automation Magazine"},{"key":"29_CR3","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)"},{"issue":"1","key":"29_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.robot.2007.09.014","volume":"56","author":"P. Fitzpatrick","year":"2008","unstructured":"Fitzpatrick, P., Metta, G., Natale, L.: Towards long-lived robot genes. Robotics and Autonomous Systems\u00a056(1), 29\u201345 (2008)","journal-title":"Robotics and Autonomous Systems"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"4444","DOI":"10.1109\/IROS.2010.5652697","volume-title":"International Conference on Intelligent Robots and Systems (IROS 2010)","author":"S. Lall\u00e9e","year":"2010","unstructured":"Lall\u00e9e, S., Lemaignan, S., Lenz, A., Melhuish, C., Natale, L., Zant, T.V.D., Warneken, F., Dominey, P.F.: Towards a Platform-Independent Cooperative Human-Robot Interaction System: I. Perception. In: International Conference on Intelligent Robots and Systems (IROS 2010), pp. 4444\u20134451. IEEE, Los Alamitos (2010)"},{"key":"29_CR6","volume-title":"International Conference on Humanoid Robots","author":"A. Lenz","year":"2010","unstructured":"Lenz, A., Skacheck, S., Hamann, K., Steinwender, J., Pipe, A., Melhuish, C.: The BERT2 infrastructure: An integrated system for the study of human-robot interaction. In: International Conference on Humanoid Robots. IEEE, Los Alamitos (2010)"},{"key":"29_CR7","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (2006)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A.: Safe and Effective Learning: A Case Study. In: ICRA 2010, pp. 4809\u20134814 (2010)","DOI":"10.1109\/ROBOT.2010.5509892"},{"key":"29_CR9","unstructured":"Pappas, G., Kress-Gazit, H. (eds.): ICRA Workshop on Formal Methods in Robotics and Automation (2009)"},{"key":"29_CR10","unstructured":"RTCA: DO178B Software Considerations in Airborne Systems and Equipment Certification (1992)"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23232-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:15:04Z","timestamp":1558296904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23232-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232312","9783642232329"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23232-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}