Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction.

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full AAAI paper archive.