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: |
|
||||
Subjects: | CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - 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 > Networks and Cyber Security |
||||
Depositing User: | Oana-Andreea Dumitrascu | ||||
Date Deposited: | 20 May 2017 03:57 | ||||
Last Modified: | 03 Mar 2022 15:47 | ||||
URI: | https://www.open-access.bcu.ac.uk/id/eprint/4484 |
Actions (login required)
![]() |
View Item |
Tools
CORE (COnnecting REpositories)