MODÈLES MULTI-AGENTS RÉACTIFS POUR LA NAVIGATION MULTI-VÉHICULES:: Spécification Formelle et Vérification

69.00 EUR 50.43 EUR 27% 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.

Teilen: