Verifying and validating multirobot missions

@article{Lyons2014VerifyingAV,
  title={Verifying and validating multirobot missions},
  author={Damian M. Lyons and Ronald C. Arkin and Shu Jiang and Dagan Harrington and Thomas T. Liu},
  journal={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2014},
  pages={1495-1502}
}
We have developed an approach that can be used by mission designers to determine whether or not a performance guarantee for their mission software, when carried out under the uncertain conditions of a real-world environment, will hold within a threshold probability. In this paper we demonstrate its utility for verifying multirobot missions, in particular a bounding overwatch mission. 

From This Paper

Figures, tables, and topics from this paper.

Citations

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

References

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

The Evolution of Chemical, Biological, Radiological, and Nuclear Defense and the Contributions of Army Research and Development, NBC Report, US Army Nuclear & Chemical Agency, Fall/Winter

  • J. C. Doesburg, G. E. Steiger
  • 2004
Highly Influential
9 Excerpts

Automatic Verification of Parameterized Interleaved MultiAgent Systems

  • P. Kouvarous, A. Lomuscio
  • Proc. AAMAS13,
  • 2013
2 Excerpts

Similar Papers

Loading similar papers…