The two articles, co-authored by VAS group members in collaboration with DIS La Sapienza University of Rome,
“An Abstraction Technique for the Verification of Artifact-Centric Systems”
“Synthesizing agent protocols from LTL specifications against multiple partially-observable environments”,
have been accepted as full papers at the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR2012).
KR2012 attracted 202 submissions, 53 of which (26%) were accepted as full papers.