Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.

Petr Cermk, Alessio Lomuscio, Aniello Murano

Browse the full AAAI paper archive.