Weiya Yue

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Navigation Systems

Multiresolution

Outdoor Environments

Density Distribution

Top Venues

Publications

Qiang Han, Weiya Yue
Navigation on Density-Unbalanced Terrain. MAICS (2013)
Weiya Yue, John Franco, Weiwei Cao, Hongwei Yue
ID* Lite: improved D* Lite algorithm. SAC (2011)
Weiya Yue, John Franco, Weiwei Cao
Improved Complexity Bound of Vertex Cover for Low degree Graph CoRR (2010)
Yanyan Xu, Weiya Yue
A Generalized Framework for BDD-based Replanning A* Search. SNPD (2009)
Yanyan Xu, Weiya Yue, Kaile Su
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning. FAW (2009)
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) (2006)
Weiya Yue, Yanyan Xu, Kaile Su
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning. Australian Conference on Artificial Intelligence (2006)
Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM (2006)