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.

[img]
Preview
Text
c - 22.pdf

Download (212kB)
Item Type: Book Section
Date: 2011
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 > Cyber Security
REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 08 May 2017 14:20
Last Modified: 10 Sep 2021 14:25
URI: http://bcu-test.eprints-hosting.org/id/eprint/4508

Actions (login required)

View Item View Item

Research

In this section...