InTech uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Robotics » Mobile Robotics » "Robot Soccer", book edited by Vladan Papić, ISBN 978-953-307-036-0, Published: January 1, 2010 under CC BY-NC-SA 3.0 license. © The Author(s).

Chapter 11

Multi-Robot Systems: Modeling, Specification, and Model Checking

By Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg
DOI: 10.5772/7349