Open access peer-reviewed chapter

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

By Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg

Published: January 1st 2010

DOI: 10.5772/7349

Downloaded: 1856

© 2010 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike-3.0 License, which permits use, distribution and reproduction for non-commercial purposes, provided the original is properly cited and derivative works building on this content are distributed under the same license.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg (January 1st 2010). Multi-Robot Systems: Modeling, Specification, and Model Checking, Robot Soccer, Vladan Papić, IntechOpen, DOI: 10.5772/7349. Available from:

chapter statistics

1856total chapter downloads

6Crossref citations

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

RFuzzy: an Easy and Expressive Tool for Modelling the Cognitive Layer in RoboCupSoccer

By Susana Munoz Hernandez

Related Book

First chapter

Humanoid Robot Navigation Based on Groping Locomotion Algorithm to Avoid an Obstacle

By Hanafiah Yussof, Mitsuhiro Yamano, Yasuo Nasu and Masahiro Ohka

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us