Seminar by Franco Raimondi (and new paper)

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.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!