State-Space Reduction Techniques in Agent Verification

Open Webpage

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge

Published: 2004, Last Modified: 30 Sept 2024AAMAS 2004EveryoneRevisionsBibTeXCC BY-SA 4.0