Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. Camacho, A., Triantafillou, E., Muise, C. J., Baier, J. A., & McIlraith, S. A. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pages 3716–3724, 2017.
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces [link]Paper  bibtex   30 downloads  
@InProceedings{	  dblp:conf/aaai/camachotmbm17,
  author	= {Alberto Camacho and Eleni Triantafillou and Christian J.
		  Muise and Jorge A. Baier and Sheila A. McIlraith},
  title		= {Non-Deterministic Planning with Temporally Extended Goals:
		  {LTL} over Finite and Infinite Traces},
  booktitle	= {Proceedings of the Thirty-First {AAAI} Conference on
		  Artificial Intelligence, February 4-9, 2017, San Francisco,
		  California, {USA.}},
  pages		= {3716--3724},
  year		= {2017},
  crossref	= {DBLP:conf/aaai/2017},
  url		= {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/15026},
  timestamp	= {Mon, 06 Mar 2017 08:17:31 +0100},
  biburl	= {https://dblp.org/rec/bib/conf/aaai/CamachoTMBM17},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

Downloads: 30