Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. Torres, J. & Baier, J. A. In 2015.
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals [pdf]Paper  bibtex   
@inproceedings{TorresB15,
  author    = {Jorge Torres and Jorge A. Baier},
  title     = {Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals},
  booktitle = IJCAI15,
  year      = {2015},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/TorresB15.pdf}
}
Downloads: 0