Xiangyu Luo Kaile Su Abdul Sattar Mark Reynolds Verification of Multi-agent Systems Via Bounded Model Checking. 69-78 2006 conf/ausai/2006 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/11941439_11 db/conf/ausai/ausai2006.html#LuoSSR06