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
20 Citations
Automatic Verification of Autonomous Robot Missions
  • 28
  • PDF
Probabilistic Verification of Multi-robot Missions in Uncertain Environments
  • 11
  • PDF
Performance verification for robot missions in uncertain environments
  • 11
  • PDF
Formal Performance Guarantees for Behavior-Based Localization Missions
  • 3
  • PDF
Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software
  • 1
Formal performance guarantees for an approach to human in the loop robot missions
Analysis and Verification of Complex Robot Systems using Behaviour-Based Control
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 36 REFERENCES
Designing autonomous robot missions with performance guarantees
  • 23
  • PDF
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees
  • 10
  • PDF
Specification and planning of UAV missions: a Process Algebra approach
  • 29
  • PDF
Temporal-Logic-Based Reactive Mission and Motion Planning
  • 563
  • PDF
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
  • 38
  • Highly Influential
  • PDF
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications
  • 168
Towards performance guarantees for emergent behavior
  • D. Lyons, R. Arkin
  • Engineering, Computer Science
  • IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004
  • 2004
  • 22
  • PDF
...
1
2
3
4
...