Getting it right the first time: Verification of Behavior-based Multirobot Missions

1 Figure or Table

Showing 1-10 of 16 references

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

  • C Belta
  • 2010
1 Excerpt