Deduktiver Entwurf, Analyse und Verifikation von Multiagenten-Systemen für den RoboCup

• Applicant: Professor Dr. Frieder Stolzenburg
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2003 to 2005
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5406298

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1125: Cooperating Teams of Mobile Robots in Dynamic Environments