Verification of Relational Multiagent Systems with Data Types.

Diego Calvanese, Giorgio Delzanno, Marco Montali

Browse the full AAAI paper archive.