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

Open in new window