ML Anthology

Computing Infinite Plans for LTL Goals Using a Classical Planner

Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
IJCAI 2011 pp. 2003-2008
doi:10.5591/978-1-57735-516-8/IJCAI11-334 /ijcai/2011/patrizi2011ijcai-computing/
IJCAI Semantic Scholar

Cite

Text

Patrizi et al. "Computing Infinite Plans for LTL Goals Using a Classical Planner." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-334

Markdown

[Patrizi et al. "Computing Infinite Plans for LTL Goals Using a Classical Planner." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/patrizi2011ijcai-computing/) doi:10.5591/978-1-57735-516-8/IJCAI11-334

BibTeX

@inproceedings{patrizi2011ijcai-computing,
  title     = {{Computing Infinite Plans for LTL Goals Using a Classical Planner}},
  author    = {Patrizi, Fabio and Lipovetzky, Nir and De Giacomo, Giuseppe and Geffner, Hector},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2003-2008},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-334},
  url       = {https://mlanthology.org/ijcai/2011/patrizi2011ijcai-computing/}
}