SSP Group Meeting

11am, 15 February, 2005
Room 4.03, Appleton Tower
CISA, School of Informatics
University of Edinburgh

Paper Discussion

Jarred McGinnis

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: