Multi-Agent System Design Verification Using Knowledge-based Reasoning.

Anarosa Brando, Viviane Torres da Silva, Carlos Jos Pereira de Lucena

Browse the full SEKE paper archive.