论文信息 - Getting it right the first time: Verification of Autonomous Behavior-based Multirobot Missions - 字舞流文

Getting it right the first time: Verification of Autonomous Behavior-based Multirobot Missions

Damian M. Lyons | Ronald C. Arkin | R. Arkin | D. Lyons

[1] Damian M. Lyons,et al. Getting it right the first time: Robot mission guarantees in the presence of uncertainty , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .

[3] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[4] Hadas Kress-Gazit,et al. Automatic synthesis of robot controllers for tasks with locative prepositions , 2010, 2010 IEEE International Conference on Robotics and Automation.

[5] Jos C. M. Baeten,et al. A brief history of process algebra , 2005, Theor. Comput. Sci..

[6] Girish Keshav Palshikar. Introduction to Model-checking , 2004 .

[7] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.