Verifying Performance for Autonomous Robot Missions with Uncertainty

@inproceedings{Lyons2013VerifyingPF,
  title={Verifying Performance for Autonomous Robot Missions with Uncertainty},
  author={Damian Lyons and Ronald C. Arkin and Tsung-Ming Liu and Shu Jiang and P. Nirmal},
  year={2013}
}
Establishing performance guarantees for robot missions is especially important for C-WMD applications. Software verification techniques, such as model checking (Clark 1999, Jhala & Majumdar 2009), can be applied to robotic applications but characteristics of this application area, including addition of a robot environment model and handling continuous spatial location well, exacerbate state explosion, a key weakness of these methods. We have proposed an approach to verifying robot missions that… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

9-2014 Verifying and Validating Multirobot Missions

Damian M. Lyons
  • 2019
VIEW 5 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

Performance Verification for Behavior-Based Robot Missions

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Verifying and validating multirobot missions

  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2014
VIEW 5 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

Getting it right the first time: Robot mission guarantees in the presence of uncertainty

  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2013
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Performance guarantees for C-WMD robot missions

  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
  • 2013
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Formal performance guarantees for an approach to human in the loop robot missions

  • 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
  • 2017
VIEW 1 EXCERPT

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 13 EXCERPTS
HIGHLY INFLUENTIAL

Software model checking

  • ACM Comput. Surv.
  • 2009
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Pattern Recognition and Machine Learning, Springer

C. M. Bishop
  • 2006
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

A brief history of process algebra

  • Theor. Comput. Sci.
  • 2004
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems

Ronald C. Arkin, Damian Lyons, Jiang Shu, Prem Nirmal, Munzir Zafar
  • Defense, Security, and Sensing
  • 2012

Corrective, Reactive, Highlevel Control

H. Kress-Gazit, T. Wongpiromsarn
  • Rob. & Aut. Magazine
  • 2011

Similar Papers

Loading similar papers…