Franco Raimondi gave a talk at UCL (in Louvain-la-neuve, Belgium, not the one in London!) about “A new framework for multi-agent system verification”.
Franco was visiting the Louvain Verification Lab (LVL), a group lead by Prof. Charles Pecheur. We have strong collaboration links with this group, and a joint paper has been recently accepted for publication:
S. Busard, C. Pecheur, F. Raimondi, H. Qu, Practical Model Checking Strategies under Partial Observability and Fairness, to appear in Proceedings of Strategic Reasoning 2013 (SR-13), co-located with ETAPS 2013.