| 2006 |
|---|
| 3 | EE | Weiya Yue,
Yanyan Xu,
Kaile Su:
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.
Australian Conference on Artificial Intelligence 2006: 627-636 |
| 2 | EE | Kaile Su,
Weiya Yue,
Abdul Sattar,
Mehmet A. Orgun,
Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM 2006: 366-378 |
| 1 | EE | Kaile Su,
Qingliang Chen,
Abdul Sattar,
Weiya Yue,
Guanfeng Lv,
Xizhong Zheng:
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol. 21(6): 932-943 (2006) |
