Model checking detectability of attacks in multiagent systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ioana Boureanu, Mika Cohen, Alessio Lomuscio. Model checking detectability of attacks in multiagent 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 691-698, IFAAMAS, 2010. [doi]

This author has not been identified. Look up 'Ioana Boureanu' in GoogleThis author has not been identified. Look up 'Mika Cohen' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in Google

runs on WebDSL