2 papers accepted for AAMAS12

The two articles, co-authored by VAS group members,

“Automatic Verification of Epistemic Specifications under Convergent Equational Theories”,

“Group Synthesis for Parametric Temporal-Epistemic Logic”,

are accepted as full papers at the 11th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS12). The second paper was co-authored with researchers at IPIPAN Warsaw.

AAMAS12 attracted 672 submissions, 137 of which (20%) were accepted as full papers.

Comments are closed.