Automatic Verification of Autonomous Robot Missions
暂无分享,去创建一个
Damian M. Lyons | Ronald C. Arkin | Shu Jiang | Matthew O'Brien | Dagan Harrington | R. Arkin | D. Lyons | M. O'Brien | D. Harrington | Shu Jiang
[1] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[2] Tucker R. Balch,et al. AuRA: principles and practice in review , 1997, J. Exp. Theor. Artif. Intell..
[3] Ronald C. Arkin,et al. Evaluating the Usability of Robot Programming Toolsets , 1998, Int. J. Robotics Res..
[4] Reid G. Simmons,et al. Towards automatic verification of autonomous systems , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).
[5] Damian M. Lyons,et al. Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[6] Girish Keshav Palshikar. Introduction to Model-checking , 2004 .
[7] Jos C. M. Baeten,et al. A brief history of process algebra , 2005, Theor. Comput. Sci..
[8] Corrado Priami,et al. An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra , 2007, CMSB.
[9] Ian Stark,et al. The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.
[10] Emilio Frazzoli,et al. Specification and planning of UAV missions: a Process Algebra approach , 2009, 2009 American Control Conference.
[11] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[12] Yushan Chen,et al. Automatic Deployment of Robotic Teams , 2011, IEEE Robotics & Automation Magazine.
[13] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[14] 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.
[15] Damian M. Lyons,et al. Performance guarantees for C-WMD robot missions , 2013, 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).
[16] Damian M. Lyons,et al. A Software Tool for the Design of Critical Robot Missions with Performance Guarantees , 2013, CSER.
[17] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[18] Damian M. Lyons,et al. Verifying and validating multirobot missions , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[19] Damian M. Lyons,et al. Performance Verification for Behavior-Based Robot Missions , 2015, IEEE Trans. Robotics.