An extensive model checking framework for multi-agent systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Songzheng Song, Yang Liu 0003, Jie Zhang 0002, Jun Sun 0001. An extensive model checking framework for multi-agent systems. 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 1645-1646, IFAAMAS/ACM, 2014. [doi]

This author has not been identified. Look up 'Songzheng Song' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Jie Zhang 0002' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in Google

runs on WebDSL