Bounded Model Checking of Strategy Ability with Perfect Recall

Xiaowei, Huang (2015) Bounded Model Checking of Strategy Ability with Perfect Recall. Artificial Intelligence.

Full text not available from this repository. (Request a copy)
Item Type: Article
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: 20 May 2017 03:57
Last Modified: 20 May 2017 03:57
URI: http://www.open-access.bcu.ac.uk/id/eprint/4484

Actions (login required)

View Item View Item

Research

In this section...