Bordini, R. H., Fisher, M., Visser, W., Wooldridge, M., Jennings, N. R., Sierra, C., …Tambe, M. (2004). State-space reduction techniques in agent verification. In Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, 19-23 July 2004, New York ; proceedings (896-903). https://doi.org/10.1109/aamas.2004.242630