Modelling and analysis of collective adaptive systems with CARMA and its tools

M Loreti, J Hillston - Formal Methods for the Quantitative Evaluation of …, 2016 - Springer
Abstract Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous
task-oriented systems that cooperate on common goals forming a collective system. This …

Agent bodies: An interface between agent and environment

J Saunier, C Carrascosa, S Galland… - Agent Environments for …, 2015 - Springer
Interfacing the agents with their environment is a classical problem when designing
multiagent systems. However, the models pertaining to this interface generally choose to …

A new perspective on multi-agent environment with SARL

S Rodriguez, S Galland, N Gaud - Procedia computer science, 2015 - Elsevier
The environment is now considered as a first class abstraction in multiagent systems.
However, the boundary between real and simulated environment and the application logic is …

[PDF][PDF] A Multidimensional Environment Implementation for Enhancing Agent Interaction.

S Galland, F Balbo, N Gaud, S Rodriguez, G Picard… - AAMAS, 2015 - aamas.csc.liv.ac.uk
The environment, as a space shared between agents, is a key component of multiagent
systems (MAS). Depending on systems, this space may integrate physical, communication …

Multiparty interactions for coordination in a mixed human-agent teamwork

M Barange, J Saunier, A Pauchet - … , August 27-30, 2017, Proceedings 17, 2017 - Springer
Virtual environments for human learning enable one or more users to interact with virtual
agents in order to perform their tasks. This collaboration necessitates that the members of …

Specification and analysis of open-ended systems with CARMA

J Hillston, M Loreti - Agent Environments for Multi-Agent Systems IV: 4th …, 2015 - Springer
Carma is a new language recently defined to support quantified specification and analysis of
collective adaptive systems. It is a stochastic process algebra equipped with linguistic …

Positionnement des systèmes multi-agents pour les systèmes de transport intelligents

F Balbo, E Adam, R Mandiau - Revue des Sciences et …, 2016 - hal-emse.ccsd.cnrs.fr
L'utilisation des nouvelles technologies de l'information et des communications pour
l'amélioration des systèmes de transport est une solution devenue centrale dans le domaine …

Contextualize agent interactions by combining communication and physical dimensions in the environment

S Galland, F Balbo, N Gaud, S Rodriguez… - Advances in Practical …, 2015 - Springer
The environment, as a space shared between agents, is a key component of multiagent
systems (MAS). Depending on systems, this space may integrate physical, communication …

[PDF][PDF] Contextualiser l'interaction entre agents en combinant dimensions sociale et physique au sein de l'environnement.

S Galland, N Gaud, S Rodriguez, F Balbo, G Picard… - JFSMA, 2014 - researchgate.net
Résumé L'environnement, en tant qu'espace partagé entre agents, est un élément essentiel
des systèmes multiagents. Selon les systèmes, cet espace intègre des dimensions …

[PDF][PDF] Environnement multidimensionnel pour contextualiser les interactions des agents

S Galland, F Balbo, G Picard, O Boissier… - Appl. Simul. Trafic …, 2016 - researchgate.net
L'environnement, en tant qu'espace partagé entre agents, est un élément essentiel des
systèmes multiagents (SMA). Selon les systèmes, il existe différentes classes de modèles …