ML Anthology

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals

Jorge Torres, Jorge A. Baier
IJCAI 2015 pp. 1696-1703
/ijcai/2015/torres2015ijcai-polynomial/
IJCAI Semantic Scholar

Cite

Text

Torres and Baier. "Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Torres and Baier. "Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/torres2015ijcai-polynomial/)

BibTeX

@inproceedings{torres2015ijcai-polynomial,
  title     = {{Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals}},
  author    = {Torres, Jorge and Baier, Jorge A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1696-1703},
  url       = {https://mlanthology.org/ijcai/2015/torres2015ijcai-polynomial/}
}