Franco Raimondi has been awarded an EPSRC grant in collaboration with Natasha Alechina (School of Computer Science, University of Nottingham) for the Verification of Resource-Bounded Multi-Agents Systems (VRBMAS). More details about the project can be found at the project’s web site: http://www.vrbmas.org.
