Verification of data-aware commitme

Verification of data-aware commitment-based multiagent system
In this paper we investigate multiagent systems whose agent interaction
is based on social commitments that evolve over time, in
presence of (possibly incomplete) data. In particular, we are interested
in modeling and verifying how data maintained by the agents
impact on the dynamics of such systems, and on the evolution of
their commitments.

Resultados (español) 2:

Verificación del sistema multiagente basada en el compromiso de reconocimiento de datos
En el presente trabajo se investigan los sistemas multiagente, cuya interacción agente
se basa en los compromisos sociales que evolucionan con el tiempo, en
presencia de datos (posiblemente incompleta). En particular, estamos interesados
​​en el modelado y la verificación de la cantidad de datos mantenidas por los agentes
impacto en la dinámica de estos sistemas, y sobre la evolución de
sus compromisos.

Resultados (español) 3:

Verificación de datos consciente compromiso basado sistema multiagenteEn este documento se investiga los sistemas multiagente cuyo agente interacciónSe basa en los compromisos sociales que evolucionan con el tiempo, enPresencia de (posiblemente incompletos) de datos.En particular, estamos interesadosEn el modelado y comprobar cómo los datos mantenidos por los agentesImpacto en la dinámica de dichos sistemas, y sobre la evolución deSus compromisos.