Verifying and validating multirobot missions
暂无分享,去创建一个
[1] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[2] Damian M. Lyons,et al. Performance guarantees for C-WMD robot missions , 2013, 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).
[3] Tommaso Bolognesi,et al. Introduction to the ISO Specification Language LOTOS , 1987, Comput. Networks.
[4] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[5] Natarajan Shankar,et al. Automated deduction for verification , 2009, CSUR.
[6] Robert J. Szczerba,et al. Bounding overwatch operations for robotic and semi-robotic ground vehicles , 1998, Defense, Security, and Sensing.
[7] 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.
[8] Rocco De Nicola,et al. Extensional equivalences for transition systems , 1987, Acta Informatica.
[9] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .
[10] Hadas Kress-Gazit,et al. LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[11] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[12] Damian M. Lyons,et al. Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[13] Eric Klavins,et al. A compositional framework for programming stochastically interacting robots , 2011, Int. J. Robotics Res..
[14] Damian M. Lyons,et al. A Software Tool for the Design of Critical Robot Missions with Performance Guarantees , 2013, CSER.
[15] Julia M. B. Braman,et al. Safety verification and failure analysis of goal-based hybrid control systems , 2009 .