Getting it Right the First Time: Verification of Behavior-based Multirobot Missions
暂无分享,去创建一个
[1] Girish Keshav Palshikar. Introduction to Model-checking , 2004 .
[2] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[3] Damian M. Lyons,et al. Performance guarantees for C-WMD robot missions , 2013, 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR).
[4] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[5] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[6] Damian M. Lyons,et al. Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[7] Damian M. Lyons,et al. A Software Tool for the Design of Critical Robot Missions with Performance Guarantees , 2013, CSER.
[8] Jonathan P. Bowen,et al. High-Integrity System Specification and Design , 1999, Formal Approaches to Computing and Information Technology (FACIT).
[9] Natarajan Shankar,et al. Automated deduction for verification , 2009, CSUR.
[10] 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.
[11] Rocco De Nicola,et al. Extensional equivalences for transition systems , 1987, Acta Informatica.
[12] Benjamin Johnson,et al. Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error , 2011, Robotics: Science and Systems.
[13] Ronald C. Arkin,et al. Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems , 2012, Defense, Security, and Sensing.
[14] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[15] Jonathan P. Bowen,et al. High-Integrity System Specification and Design , 1999 .
[16] Emilio Frazzoli,et al. Specification and planning of UAV missions: a Process Algebra approach , 2009, 2009 American Control Conference.
[17] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .