Paper by Franco Raimondi accepted at AAMAS 2013

The paper “A Synergistic and Extensible Framework for Multi-Agent System Verification” by Josie Hunter, Franco Raimondi, Neha Rungta and Richard Stocker has been accepted for publication at AAMAS 2013, the “largest and most influential conference in the area of agents and multiagent systems”.

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!