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
Tools
Tools
CORE (COnnecting REpositories)