Advancing the state of the art in the analysis of multi-agent systems (Paperback) - Study and Development of Methods and Tools for Testing, Validation and Verification of Multi-Agent Systems
Evaluating Aal Systems Through Competitive Benchmarking: International Competitions and Final Workshop, July and September 2013. Proceedings (Paperback, 2013)