Formal performance guarantees for an approach to human in the loop robot missions
暂无分享,去创建一个
[1] Ellen J. Bass,et al. Using Formal Verification to Evaluate Human-Automation Interaction: A Review , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[2] Damian M. Lyons,et al. Verifying and validating multirobot missions , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[3] Ruzena Bajcsy,et al. Improved driver modeling for human-in-the-loop vehicular control , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).
[4] Ronald C. Arkin,et al. An Analysis of Displays for Probabilistic Robotic Mission Verification Results , 2017 .
[5] Damian M. Lyons,et al. Automatic Verification of Autonomous Robot Missions , 2014, SIMPAR.
[6] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[7] Damian M. Lyons,et al. Probabilistic Verification of Multi-robot Missions in Uncertain Environments , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
[8] Damian M. Lyons,et al. Performance Verification for Behavior-Based Robot Missions , 2015, IEEE Trans. Robotics.
[9] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[10] Ellen J. Bass,et al. A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[11] Damian M. Lyons,et al. Formal Performance Guarantees for Behavior-Based Localization Missions , 2016, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
[12] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .