Yi Li, Jin Song Dong, Jing Sun 0002, Yang Liu, Jun Sun 0001. Model checking approach to automated planning. Formal Methods in System Design, 44(2):176-202, 2014. [doi]
@article{LiDSLS14,
title = {Model checking approach to automated planning},
author = {Yi Li and Jin Song Dong and Jing Sun 0002 and Yang Liu and Jun Sun 0001},
year = {2014},
doi = {10.1007/s10703-013-0197-1},
url = {http://dx.doi.org/10.1007/s10703-013-0197-1},
researchr = {https://researchr.org/publication/LiDSLS14},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {44},
number = {2},
pages = {176-202},
}