Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.

Xiaowei Huang, Kaile Su, Chenyi Zhang

Browse the full AAAI paper archive.