Getting it Right the First Time: Verification of Behavior-based Multirobot Missions

@inproceedings{Lyons2014GettingIR,
  title={Getting it Right the First Time: Verification of Behavior-based Multirobot Missions},
  author={D. M. Lyons and Ronald C. Arkin and Shu Ming Jiang and Dagan Harrington and Matthew O'Brien},
  year={2014}
}
Position Paper Getting it right the first time: Verification of Behavior-based Multirobot Missions Damian Lyons, Ronald Arkin, Shu Jiang, Dagan Harrington and Matthew O'Brien Dept. Of Computer & Information Science, Fordham University, Bronx NY 10458 School of Interactive Computing, Georgia Institute of Technology, Atlanta GA 30332 {dlyons,dharrington5}@fordham.edu, {arkin, sjiang, mjobrien}@cc.gatech.edu 

Figures from this paper.

References

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

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

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 1 EXCERPT

Synthesis of provably - correct control and communication strategies for distributed mobile systems

C. Belta
  • ICRA ’ 10 Workshop on Formal Methods for Rob . & Aut .
  • 2010

Synthesis of provably-correct control and communication strategies for distributed mobile systems. ICRA’10 Workshop on Formal Methods for Rob.& Aut

C. Belta
  • 2010
VIEW 1 EXCERPT