Safe and effective learning: A case study

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2010, Pages 4809-4814

  Metta, Giorgio ^a   Natale, Lorenzo ^a   Pathak, Shashank ^b   Pulina, Luca ^b   Tacchella, Armando ^b  

^a ISTITUTO ITALIANO DI TECNOLOGIA   (Italy)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EFFECTIVE LEARNING; HOCKEY GAMES; MULTI-AGENT; ROBOT CONTROL SYSTEMS; VERIFICATION TOOLS;

CONTROL THEORY; ROBOTICS;

ROBOTS;

EID: 77955809457     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2010.5509892     Document Type: Conference Paper

References (17)

1. J. Kramer and M. Scheutz, "Development environments for autonomous mobile robots: A survey," Autonomous Robots, vol. 22, no. 2, pp. 101-132, 2007.
2. J. Bagnell and S. Schaal, "Special issue on Machine Learning in Robotics (Editorial)," The International Journal of Robotics Research, vol. 27, no. 2, pp. 155-156, 2008.
3. G. Pappas and H. Kress-Gazit, Eds., ICRA Workshop on Formal Methods in Robotics and Automation, 2009.
4. E. Clarke, O. Grumberg, and D. Peled, Model checking. Springer, 1999.
5. C. Kern and M. Greenstreet, "Formal verification in hardware design: a survey," ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 4, no. 2, pp. 123-193, 1999.
6. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, "Model checking programs," Automated Software Engineering, vol. 10, no. 2, pp. 203-232, 2003.
7. E. Plaku, L. Kavraki, and M. Vardi, "Hybrid systems: From verification to falsification," Lecture Notes in Computer Science, vol. 4590, p. 463, 2007.
8. D. Bentivegna, C. Atkeson, and G. Cheng, "Learning tasks from observation and practice," Robotics and Autonomous Systems, vol. 47, no. 2-3, pp. 163-169, 2004.
9. B. Bishop and M. Spong, "Vision-based control of an air hockey playing robot," IEEE Control Systems Magazine, vol. 19, no. 3, pp. 23-32, 1999.
10. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," Lecture notes in computer science, pp. 209-229, 1993.
11. M. Franzle, C. Herde, T. Teige, S. Ratschan, and T. Schubert, "Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure," Journal on Satisfiability, Boolean Modeling and Computation, vol. 1, pp. 209-236, 2007.
12. "United States Air hockey Association web site," Last visited [9-2009].
13. G. Metta, P. Fitzpatrick, and L. Natale, "YARP: yet another robot platform," International Journal on Advanced Robotics Systems, vol. 3, no. 1, pp. 43-48, 2006.
14. D. Smith and K. Simpson, Functional safety: a straightforward guide to applying IEC 61508 and related standards. Butterworth-Heinemann, 2004.
15. E. Cervera, N. Garcia-Aracil, E. Martinez, L. Nomdedeu, and A. del Pobil, "Safety for a robot arm moving amidst humans by using panoramic vision," in IEEE International Conference on Robotics and Automation, 2008. ICRA 2008, 2008, pp. 2183-2188.
16. D. Gordon, "Asimovian adaptive agents," Journal of Artificial Intelligence Research, vol. 13, pp. 95-153, 2000.
17. T. Perkins and A. Barto, "Lyapunov design for safe reinforcement learning," The Journal of Machine Learning Research, vol. 3, pp. 803-832, 2003.