Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge. State-Space Reduction Techniques in Agent Verification. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA. pages 896-903, IEEE Computer Society, 2004. [doi]
Abstract is missing.