Alternating-time temporal belief and knowledge logic in multi-agent systems.

Zhengyuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang

Browse the full ISKE paper archive.