Items where Author is "Xiaowei, Huang"
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 (2015) Bounded Model Checking of Strategy Ability with Perfect Recall. Artificial Intelligence.
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.