Coalitional Planning in Game-like Domains via ATL Model Checking.

Jun Wu, Chong-Jun Wang, Lei Zhang, Junyuan Xie

Browse the full ICTAI paper archive.