Weak, strong, and strong cyclic planning via symbolic model checking. Cimatti, A., Pistore, M., Roveri, M., & Traverso, P. Artif. Intell., 147(1-2):35-84, 2003.
Weak, strong, and strong cyclic planning via symbolic model checking. [link]Link  Weak, strong, and strong cyclic planning via symbolic model checking. [link]Paper  bibtex   
@Article{cimatti03_cyclic,
  Author         = {Alessandro Cimatti and Marco Pistore and Marco Roveri
                   and Paolo Traverso},
  Title          = {Weak, strong, and strong cyclic planning via symbolic
                   model checking.},
  Journal        = {Artif. Intell.},
  Volume         = {147},
  Number         = {1-2},
  Pages          = {35-84},
  biburl         = {http://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/dblp},
  ee             = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0},
  url            = {http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03},
  year           = 2003
}

Downloads: 0