A Tool Environment for Specifying and Verifying Multi-agent Systems.

Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg

Browse the full ICAART paper archive.