Intelligent Data Analysis for the Verification of Multi-Agent Systems Interactions | Publicación