Items where Author is "Cheng, Luo"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.
Book Section
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.