• DOI:10.1109/TRO.2015.2418592
Corpus ID: 215746946

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}
}

• D. Lyons, R. Arkin, +2 authors P. Nirmal
• Published 2015
• Computer Science
• IEEE Trans. Robotics

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

View via Publisher

cc.gatech.edu

Save to Library

Create Alert

Cite

Launch Research Feed