SMT-based Safety Checking of Parameterized Multi-Agent Systems.

Paolo Felli, Alessandro Gianola, Marco Montali

Browse the full AAAI paper archive.