Verification of Multi-agent Systems Via Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds. Verification of Multi-agent Systems Via Bounded Model Checking. In Abdul Sattar, Byeong Ho Kang, editors, AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings. Volume 4304 of Lecture Notes in Computer Science, pages 69-78, Springer, 2006. [doi]

This author has not been identified. Look up 'Xiangyu Luo' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Abdul Sattar' in GoogleThis author has not been identified. Look up 'Mark Reynolds' in Google

runs on WebDSL