Parallel Model Checking for Temporal Epistemic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu. Parallel Model Checking for Temporal Epistemic Logic. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 543-548, IOS Press, 2010. [doi]

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL