Search the dblp DataBase

Publications of Author

1. Weiya Yue, Yanyan Xu, Kaile Su
   BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. [Citation Graph (0, 0)][DBLP]
   Australian Conference on Artificial Intelligence, 2006, pp:627-636 [Conf]
   
2. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
   Observation-Based Logic of Knowledge, Belief, Desire and Intention. [Citation Graph (0, 0)][DBLP]
   KSEM, 2006, pp:366-378 [Conf]
   
3. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
   Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP]
   J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
   
4. 
   A Generalized Framework for BDD-based Replanning A* Search. [Citation Graph (, )][DBLP]
   
   
5. 
   The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. [Citation Graph (, )][DBLP]