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.

Preview

Text c - 22.pdf Download (212kB)

Item Type:	Book Section
Dates:	Date Event 2011 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:	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