Items where Author is "Cheng, Luo"

[up] 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.

This list was generated on Fri Apr 25 23:08:42 2025 UTC.

Research

In this section...