A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems.

Paolo Felli, Alessandro Gianola, Marco Montali

Browse the full PRIMA paper archive.