Verification of Agent-Based Artifact Systems

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi. Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. (JAIR), 51:333-376, 2014. [doi]

Abstract

Abstract is missing.