Probabilistic Verification of Multi-robot Missions in Uncertain Environments
暂无分享,去创建一个
Damian M. Lyons | Ronald C. Arkin | Shu Jiang | Peng Tang | Feng Tang | Dagan Harrington | R. Arkin | D. Lyons | D. Harrington | Shu Jiang | F. Tang | P. Tang
[1] Hyoungki Lee,et al. Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[2] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[3] Christoph Lüth,et al. Experiences in Applying Formal Verification in Robotics , 2010, SAFECOMP.
[4] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[5] W. Eric L. Grimson,et al. Adaptive background mixture models for real-time tracking , 1999, Proceedings. 1999 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (Cat. No PR00149).
[6] Hadas Kress-Gazit,et al. Automatic synthesis of robot controllers for tasks with locative prepositions , 2010, 2010 IEEE International Conference on Robotics and Automation.
[7] Damian M. Lyons,et al. Automatic Verification of Autonomous Robot Missions , 2014, SIMPAR.
[8] Damian M. Lyons,et al. Verifying and validating multirobot missions , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[9] Nicholas Roy,et al. Guaranteeing High-Level Behaviors While Exploring Partially Known Maps , 2013 .
[10] Klaus Havelund,et al. Verification and validation meet planning and scheduling , 2013, International Journal on Software Tools for Technology Transfer.
[11] Kerstin Eder,et al. Verification and testing of mobile robot navigation algorithms: A case study in SPARK , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[12] Joel W. Burdick,et al. Backtracking temporal logic synthesis for uncertain environments , 2012, 2012 IEEE International Conference on Robotics and Automation.
[13] Ronald C. Arkin,et al. Evaluating the Usability of Robot Programming Toolsets , 1998, Int. J. Robotics Res..
[14] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .
[15] Robert J. Szczerba,et al. Bounding overwatch operations for robotic and semi-robotic ground vehicles , 1998, Defense, Security, and Sensing.
[16] Michael Fisher,et al. Verifying autonomous systems , 2013, CACM.
[17] U. Topcu,et al. Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications , 2011 .
[18] Clare Dixon,et al. Formal Verification of an Autonomous Personal Robotic Assistant , 2014, AAAI Spring Symposia.
[19] Damian M. Lyons,et al. Performance Verification for Behavior-Based Robot Missions , 2015, IEEE Trans. Robotics.
[20] Karl Henrik Johansson,et al. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.