( en | de | ru )

 

Disambiguierung von "Mermet, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour.

, , und . DALT, Volume 3904 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Horst Bruno

Eugen Bruno

Horst Bruno

Armin Bruno

Axel Brunold

 

Weitere Publikationen von Autoren mit dem selben Namen

Variant Extensions to Prove MAS Behaviours., und . AIMSA, Volume 3192 von Lecture Notes in Computer Science, Seite 409-419. Springer, (2004)A Dynamic Clustering Algorithm for Mobile Objects., , und . PKDD, Volume 4702 von Lecture Notes in Computer Science, Seite 422-429. Springer, (2007)Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve., und . JFSMA, Seite 139-148. Cépaduès Éditions, (2017)Feature Interactions: A Mixed Semantic Model Approach., , und . IWFM, BCS, (1997)Vérification formelle et éthique dans les SMA., , und . JFSMA, Seite 139-148. Cépaduès Éditions, (2016)Service specifications: to B, or not to B., und . FMSP, Seite 62-69. ACM, (1998)GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems., und . AAMAS (1), Seite 505-512. IFAAMAS, (2009)Using the SPACE Intermediate Model to Help to Implement Agents., , , und . ISMIS, Volume 2871 von Lecture Notes in Computer Science, Seite 221-225. Springer, (2003)GDT4MAS: a formal model and language to specify and verify agent-based complex systems., und . Stud. Inform. Univ., 10 (3): 5-32 (2012)Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour., , und . DALT, Volume 3904 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2005)