Items where Author is "Xiaowei, Huang"
Article
Xiaowei, Huang (2015) Bounded Model Checking of Strategy Ability with Perfect Recall. Artificial Intelligence.
Book Section
Xiaowei, Huang and Qingliang, Chen and Kaile, Su (2016) Strengthening Agents Strategic Ability via Communication. In: Proceedings of 30th AAAI Conference on Artificial Intelligence. AAAI, pp. 2509-2515. ISBN 2159-5399
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.