Efficient Verification of Multi-Agent Systems Through Parallel.

Zhen Yao, Jing Liu, Xiaohong Chen, Li Han, Haiying Sun

Browse the full QRS paper archive.