Search Results for author: Giorgio Delzanno

Found 1 papers, 0 papers with code

Verification of Relational Multiagent Systems with Data Types (Extended Version)

no code implementations17 Nov 2014 Diego Calvanese, Giorgio Delzanno, Marco Montali

We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders).

Cannot find the paper you are looking for? You can Submit a new open access paper.