Model Checking for Multiagent Systems: the Mable Language and its Applications

Open Webpage

Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons

Published: 2006, Last Modified: 30 Sept 2024Int. J. Artif. Intell. Tools 2006EveryoneRevisionsBibTeXCC BY-SA 4.0