InTech - Open Access Publisher

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

Bookmark and Share

    Tweet

     

How to Reference

To reference this article in your paper, please copy and paste the following text:

How to Link

To place a link on your website or a blog, please copy and paste the following HTML code:

Related Articles

• The Agent Oriented Multi Flow Graphs Specification Model
• Model-Driven Development of Intelligent Mobile Robot Using Systems Modeling Language (SysML)
• Model Checking of Time Petri Nets
• Security Analysis of the RFID Authentication Protocol Using Model Checking
• Requirements Modeling for Multi-Agent Systems
• Modeling and Analysis Methods for Multi-Agent Systems
• Scenario-Based Modeling of Multi-Agent Systems
• Application of Automata Based Approach for Specification of Model Transformation Strategies
• Research on Multi-Robot Architecture and Decision-Making Model
• Embryonic Stem Cells as a Model System to Elucidate Early Events in Cardiac Specification and Det...
• Modeling Identification of the Nonlinear Robot Arm System Using MISO NARX Fuzzy Model and Genetic...
• Posture and Vibration Control Based on Virtual Suspension Model for Multi-Legged Walking Robot