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
Dates:	Date Event 2015 Published
Subjects:	CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions:	Architecture, Built Environment, Computing and Engineering Architecture, Built Environment, Computing and Engineering > Computer Science
Depositing User:	Oana-Andreea Dumitrascu
Date Deposited:	20 May 2017 03:57
Last Modified:	22 Mar 2023 12:02
URI:	https://www.open-access.bcu.ac.uk/id/eprint/4484