Bounded model checking knowledge and branching time in synchronous multi-agent systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. Bounded model checking knowledge and branching time in synchronous multi-agent systems. In Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, editors, 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. pages 1129-1130, ACM, 2005. [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 'Qingliang Chen' in GoogleThis author has not been identified. Look up 'Guanfeng Lv' in Google

runs on WebDSL