 | 2009 |
|---|
| 4 |       | Yanyan Xu,
Weiya Yue,
Kaile Su:
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.
FAW 2009: 271-282 |
| 2006 |
|---|
| 3 | | 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 | | 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 | | 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) |
