On module checking and strategies

Wojciech Jamroga, Aniello Murano. On module checking and strategies. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 701-708, IFAAMAS/ACM, 2014. [doi]

No reviews for this publication, yet.