Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic | IEEE Conference Publication | IEEE Xplore