SSP Group Meeting
Wednesday, October 25th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13

Specifying topology in multi-agent systems

Chris Walton

A fortnight ago, Wamberto discussed the specification and verification of temporal properties of multi-agent systems. I will attempt to do likewise for the spatial properties of such systems. I shall present an informal overview of three different approaches and discuss the pros and cons of each.