ML Anthology

Cermák, Petr

1 publications

AAAI 2015 Verifying and Synthesising Multi-Agent Systems Against One-Goal Strategy Logic Specifications Petr Cermák, Alessio Lomuscio, Aniello Murano