Author of the publication

A New Model Checking Approach for Verifying Agent Communication Protocols.

, , and . CCECE, page 1586-1590. IEEE, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

La planification agent dans un environnement dynamique et distribué : entre la réalité et la simulation., and . Technique et Science Informatiques, 22 (4): 115-128 (2003)An Overview of Distributed Artificial Intelligence, and . Foundations of Distributed Artificial Intelligence, (1996)Reconnaissance de patterns par réseaux de neurones - Application à la généralisation cartographique., and . Revue Internationale de Géomatique, 11 (2): 251-279 (2001)Un modèle de mémoire dans un système multi-agent de géosimulation., and . Rev. d'Intelligence Artif., 18 (5-6): 647-678 (2004)An Agent-Based Architecture For Georeferenced Digital Library Interoperability., , , and . Intell. Autom. Soft Comput., 6 (3): 225-231 (2000)The semantics of spatial expressions: how to talk about geographic data., , , and . RIAO, page 721-730. (1997)Informed virtual geographic environments: a geometrically precise and semantically enriched model for multi-agent geo-simulations., and . WSC, page 381-392. IEEE, (2011)A hybrid approach based on multi-agent geosimulation and reinforcement learning to solve a UAV patrolling problem., , , , and . WSC, page 1259-1267. WSC, (2008)Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions., , , and . AI, volume 1822 of Lecture Notes in Computer Science, page 69-81. Springer, (2000)A Multiagent-Based Approach for Progressive Web Map Generation., and . OTM Workshops, volume 3762 of Lecture Notes in Computer Science, page 99-108. Springer, (2005)