A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

@inproceedings{Lyons2013AST,
  title={A Software Tool for the Design of Critical Robot Missions with Performance Guarantees},
  author={Damian M. Lyons and Ronald C. Arkin and P. Nirmal and Shu Jiang and Tsung-Ming Liu},
  booktitle={CSER},
  year={2013}
}
Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably in a physical environment that may only be poorly characterized in advance. In this paper, we present an approach to building high assurance software for robot missions carried out in uncertain environments. The software development framework and the verification algorithm… CONTINUE READING

References

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

Standard Test Methods for Response Robots ASTM

  • A. Jacoff, E. Messina, H. Huang, A. Virts, A. Downs, A. Norcross
  • 2011
2 Excerpts

Drought modeling and products of random variables with exponential kernals Stoch

  • D. W. Yang, S. Nadarajah
  • Env. Res. & Risk Ass
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…