AAMAS Conference 2002 Conference Paper
Model checking multiagent systems with MABLE
- Michael Wooldridge
- Michael Fisher
- Mac-Philippe Huget
- Simon Parsons
Author name cluster
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
AAMAS Conference 2002 Conference Paper