Performance Verification for Behavior-Based Robot Missions
@article{Lyons2015PerformanceVF, title={Performance Verification for Behavior-Based Robot Missions}, author={D. Lyons and R. Arkin and Shu Jiang and Tsung-Ming Liu and P. Nirmal}, journal={IEEE Trans. Robotics}, year={2015}, volume={31}, pages={619-636} }
Certain robot missions need to perform predictably in a physical environment that may have significant uncertainty. One approach is to leverage automatic software verification techniques to establish a performance guarantee. The addition of an environment model and uncertainty in both program and environment, however, means that the state space of a model-checking solution to the problem can be prohibitively large. An approach based on behavior-based controllers in a process-algebra framework… Expand
Figures, Tables, and Topics from this paper
20 Citations
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
- Computer Science
- 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)
- 2015
- 11
- PDF
Performance verification for robot missions in uncertain environments
- Computer Science
- Robotics Auton. Syst.
- 2017
- 11
- PDF
Formal Performance Guarantees for Behavior-Based Localization Missions
- Computer Science, Engineering
- 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
- 2016
- 3
- PDF
Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software
- Engineering, Computer Science
- Int. J. Monit. Surveillance Technol. Res.
- 2017
- 1
Formal performance guarantees for an approach to human in the loop robot missions
- Computer Science
- 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
- 2017
An Analysis of Displays for Probabilistic Robotic Mission Verification Results
- Computer Science
- 2017
- 5
- PDF
Analysis and Verification of Complex Robot Systems using Behaviour-Based Control
- Computer Science
- 2017
- PDF
References
SHOWING 1-10 OF 36 REFERENCES
Designing autonomous robot missions with performance guarantees
- Engineering, Computer Science
- 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
- 2012
- 23
- PDF
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
- Computer Science
- CSER
- 2013
- 10
- PDF
Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments
- Computer Science
- 2012
- 4
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments
- Computer Science
- PerMIS
- 2012
- 6
- PDF
Specification and planning of UAV missions: a Process Algebra approach
- Computer Science
- 2009 American Control Conference
- 2009
- 29
- PDF
Temporal-Logic-Based Reactive Mission and Motion Planning
- Engineering, Computer Science
- IEEE Transactions on Robotics
- 2009
- 563
- PDF
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
- Computer Science
- Robotics: Science and Systems
- 2011
- 38
- Highly Influential
- PDF
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
- Computer Science
- IEEE Transactions on Robotics
- 2010
- 168
Towards performance guarantees for emergent behavior
- Engineering, Computer Science
- IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
- 2004
- 22
- PDF