Model Checking of Time Petri Nets
Application of Automata Based Approach for Specification of Model Transformation Strategies
Modeling and Analysis Methods for Multi-agent Systems
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems
Posture and Vibration Control Based on Virtual Suspension Model for Multi-Legged Walking Robot
Algebraic Model for Agent Explicit Knowledge in Multi-agent Systems
Modeling of HDD head positioning systems regarded as robot manipulators using block matrices
Towards Model-based Vision Systems for Robot Soccer Teams
Evolutionary Computation of Multi-robot/agent Systems

Robot Soccer

Vladan Papić

Multi-Robot Systems: Modeling, Specification, and Model Checking
Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg

Source: Robot Soccer, Book edited by: Vladan Papić, ISBN: 978-953-307-036-0, Publisher: INTECH, Publishing date: January 2010

Are you the corresponding author of this book chapter? Register other authors of this chapter and edit your profile

Ammar Mohammed, Ulrich Furbach and Frieder Stolzenburg (2010). Multi-Robot Systems: Modeling, Specification, and Model Checking, Robot Soccer, Vladan Papić (Ed.), ISBN: 978-953-307-036-0, INTECH, Available from: http://sciyo.com/articles/show/title/multi-robot-systems-modeling-specification-and-model-checking

Discuss this article

Copyright 2009 - 2010 Sciyo d.o.o.

Spread Sciyo  |   Terms Of Use  |   Privacy Policy  |   Recent Visitors Map  |   Sitemap  |   About Sciyo  |   Contact