Improved bounded model checking for a fair branching-time temporal epistemic logic (extended abstract)

Huang, Xiaowei and Cheng, Luo and Meyden, Ron (2010) Improved bounded model checking for a fair branching-time temporal epistemic logic (extended abstract). In: In the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), 2010, Toronto, Canada.

Full text not available from this repository. (Request a copy)
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 12:50
Last Modified: 05 Jun 2017 12:50
URI: http://www.open-access.bcu.ac.uk/id/eprint/4512

Actions (login required)

View Item View Item

Research

In this section...