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

Huang, Xiaowei and Kaile, Su and Chenyi, Zhang (2012) Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. In: In the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), 2012.

[img]
Preview
Text
c- 21.pdf

Download (218kB)
Item Type: Conference or Workshop Item (Paper)
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 05 Jun 2017 11:38
Last Modified: 05 Jun 2017 11:38
URI: http://www.open-access.bcu.ac.uk/id/eprint/4507

Actions (login required)

View Item View Item

Research

In this section...