author : Michael Fisher
5
publications
Formal Verification of Probabilistic Swarm Behaviours (2010) — Savas Konur, Clare Dixon, Michael Fisher 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 Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge Model Checking Multi-Agent Systems with MABLE (AAMAS 2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons