Towards safe human-robot interaction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6856 LNAI, Issue , 2011, Pages 323-335

  Grigore, Elena Corina ^a   Eder, Kerstin ^a,b   Lenz, Alexander ^b   Skachek, Sergey ^b   Pipe, Anthony G ^b   Melhuish, Chris ^b  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

^b BRISTOL ROBOTICS LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ESSENTIAL COMPONENT; INTERACTION SYSTEMS; LEGAL ISSUES; LIVENESS; LIVENESS PROPERTIES; PRODUCT CERTIFICATION; SAFE HUMAN-ROBOT INTERACTION; ASSISTIVE ROBOTS;

BEVERAGES; HUMAN COMPUTER INTERACTION; MAN MACHINE SYSTEMS; ROBOTICS; SAFETY ENGINEERING; ROBOTS;

HUMAN ROBOT INTERACTION;

EID: 80052790234     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23232-9_29     Document Type: Conference Paper

References (10)

1. 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-635. IOS Press, Amsterdam (2008)
2. 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 16(1), 67-77 (2009)
3. Clarke, E. M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
4. Fitzpatrick, P., Metta, G., Natale, L.: Towards long-lived robot genes. Robotics and Autonomous Systems 56(1), 29-45 (2008)
5. Lallée, 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-4451. IEEE, Los Alamitos (2010)
6. 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)
7. Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (2006)
8. Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A.: Safe and Effective Learning: A Case Study. In: ICRA 2010, pp. 4809-4814 (2010)
9. Pappas, G., Kress-Gazit, H. (eds.): ICRA Workshop on Formal Methods in Robotics and Automation (2009)
10. RTCA: DO178B Software Considerations in Airborne Systems and Equipment Certification (1992)