Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu. Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 659-666, IFAAMAS, 2010. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL