Multi-Robot Systems: Modeling, Specification, and Model Checking Chapter uri icon

publication date

  • 2010