MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification
Ein praxisorientiertes Buch, das reaktive Multi-Agentenmodelle für die Navigation mehrerer Fahrzeuge erklärt, formale Spezifikationen darstellt und ...