| |
| 2007 | ||
|---|---|---|
| 2 | EE | Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang: Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348 |
| 2006 | ||
| 1 | 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 |
| 1 | Wei Chen | [2] |
| 2 | Kaile Su | [1] |
| 3 | Liang Xu | [2] |
| 4 | Weiya Yue | [1] |
| 5 | Wenhui Zhang | [2] |