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.