Items where Author is "Cheng, Luo"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

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 Tue Apr 29 07:25:07 2025 UTC.

Research

In this section...