Items where Author is "Ron, Meyden"

[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 Sat Apr 26 01:09:37 2025 UTC.

Research

In this section...