Performance Verification for Behavior-Based Robot Missions

  title={Performance Verification for Behavior-Based Robot Missions},
  author={Damian M. Lyons and Ronald Craig Arkin and Shu Jiang and Tsung-Ming Liu and P. Nirmal},
  journal={IEEE Transactions on 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… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 11 citations


Publications referenced by this paper.
Showing 1-10 of 29 references