author : Willem Visser
2
publications
Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems, 2006) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge Verifiable Multi-agent Programs (PROMAS 2003 @ AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge