Symbolic Model Checking of Probabilistic Knowledge
Xiaowei, Huang and Cheng, Luo and Ron, Meyden (2011) Symbolic Model Checking of Probabilistic Knowledge. In: Proceedings of the 13th Conference on Theoretical Aspects if Rationality and Knowledge (TARK VIII). TARK, pp. 177-186.
|
Text
c - 22.pdf Download (212kB) |
Item Type: | Book Section | ||||
---|---|---|---|---|---|
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 |
||||
Depositing User: | Oana-Andreea Dumitrascu | ||||
Date Deposited: | 08 May 2017 14:20 | ||||
Last Modified: | 22 Mar 2023 12:02 | ||||
URI: | https://www.open-access.bcu.ac.uk/id/eprint/4508 |
Actions (login required)
View Item |
Tools
CORE (COnnecting REpositories)