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 ...
Menü