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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.