Weiya Yue

ID* Lite: improved D* Lite algorithm

Weiwei Cao, Weiya Yue, John Franco, 2011, SAC '11.

New Complexity Bound of Greedy Algorithm of Vertex Cover for Low-degree Graph

Weiwei Cao, Weiya Yue, Hongwei Yue, 2011 .

Avoiding Unnecessary Calculations in Robot Navigation

Weiya Yue, John Franco, 2002 .

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning

Kaile Su, Yanyan Xu, Weiya Yue, 2009, FAW.

BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning

Kaile Su, Yanyan Xu, Weiya Yue, 2006, Australian Conference on Artificial Intelligence.

Improving Dynamic Navigation Algorithms

Weiya Yue, W. Yue, 2013 .

Improved Complexity Bound of Vertex Cover for Low degree Graph pdf

Weiwei Cao, Weiya Yue, John Franco, 2010, ArXiv.

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Abdul Sattar, Kaile Su, Qingliang Chen, 2006, Journal of Computer Science and Technology.

Improved Anytime D* Algorithm

Weiwei Cao, Weiya Yue, John Franco, 2014 .

Observation-Based Logic of Knowledge, Belief, Desire and Intention

Mehmet A. Orgun, Abdul Sattar, Kaile Su, 2006, KSEM.

Navigation on Density-Unbalanced Terrain

Weiya Yue, Qiang Han, W. Yue, 2013, MAICS.

A Generalized Framework for BDD-based Replanning A* Search

Yanyan Xu, Weiya Yue, W. Yue, 2009, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing.

Automatic Verification of Complex Security Protocols With an Unbounded Number of Sessions

Kaile Su, Qingliang Chen, Weiya Yue, 2006 .