Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.

Zhengyuan Ning, Xianwei Lai, Shanli Hu, Qingqing Zhan

Browse the full SNPD paper archive.