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

• Antragsteller: Professor Dr. Frieder Stolzenburg
• Fachliche Zuordnung: Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
• Förderung: Förderung von 2003 bis 2005
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5406298

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Schwerpunktprogramme
• Teilprojekt zu: SPP 1125: Kooperierende Teams mobiler Roboter in dynamischen Umgebungen