The SSP talk this week will be a group discussion of the following paper (which you should read before the seminar):
"State-Space
Reduction Techniques in Agent Verification", Rafael H. Bordini,
Michael Fisher, Willem Visser, and Michael Wooldridge, 2004. Available
at: http://citeseer.ist.psu.edu/707399.html