9-2014 Verifying and Validating Multirobot Missions

@inproceedings{Lyons201992014VA,
  title={9-2014 Verifying and Validating Multirobot Missions},
  author={Damian M. Lyons},
  year={2019}
}
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.Β 

Similar Papers

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
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Designing autonomous robot missions with performance guarantees

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

Extensional equivalences for transition systems

  • Acta Informatica
  • 1987
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Automatic Verification of Parameterized Interleaved MultiAgent Systems

P. Kouvarous, A. Lomuscio
  • Proc. AAMAS13,
  • 2013
VIEW 2 EXCERPTS

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 3 EXCERPTS

Performance guarantees for C-WMD robot missions

  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
  • 2013
VIEW 3 EXCERPTS

LTLMoP: Experimenting with language, Temporal Logic and robot control

  • 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2010
VIEW 2 EXCERPTS