MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification
69.00 EUR50.43 EUR27% Off
Ein tiefgreifendes Buch, das die Theorie reaktiver Multi-Agentenmodelle mit praktischen Anwendungen in der Fahrzeugnavigation verknüpft und dabei formale Spezifikationen sowie Verifikationstechniken detailliert erläutert.