Multi-Robot Systems: Modeling, Specification, and Model Checking [chapter]

Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg
2010 Robot Soccer  
doi:10.5772/7349 fatcat:scvgry75fnbyta67aajoot6rda