Open access

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

Written By

Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg

Published: January 1st, 2010

DOI: 10.5772/7349

Chapter metrics overview

2,219 Chapter Downloads

View Full Metrics

Written By

Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg

Published: January 1st, 2010