Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL. Camacho, A., Triantafillou, E., Muise, C. J., Baier, J. A., & McIlraith, S. A. In Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP), pages 68-76, 2016. bibtex @inproceedings{cam-tri-bai-mui-mci-hsdip16,
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: Completing the story for finite and infinite {LTL}},
booktitle = {Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning ({HSDIP})},
pages = {68-76},
year = {2016}
}
Downloads: 0
{"_id":"8sCjchZhsZZqRP3Cd","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltl-2016","downloads":0,"creationDate":"2016-06-21T18:08:35.933Z","title":"Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.cs.toronto.edu/~acamacho/papers/camacho.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Camacho"],"suffixes":[]},{"firstnames":["Eleni"],"propositions":[],"lastnames":["Triantafillou"],"suffixes":[]},{"firstnames":["Christian","J."],"propositions":[],"lastnames":["Muise"],"suffixes":[]},{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite LTL","booktitle":"Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP)","pages":"68-76","year":"2016","bibtex":"@inproceedings{cam-tri-bai-mui-mci-hsdip16,\n author = {Alberto Camacho and\n Eleni Triantafillou and\n Christian J. Muise and\n Jorge A. Baier and\n Sheila A. McIlraith},\n title = {Non-Deterministic Planning with Temporally Extended Goals: Completing the story for finite and infinite {LTL}},\n booktitle = {Proceedings of the 8th Workshop on Heuristics and Search for Domain-independent Planning ({HSDIP})},\n pages = {68-76},\n year = {2016}\n}\n\n","author_short":["Camacho, A.","Triantafillou, E.","Muise, C. J.","Baier, J. A.","McIlraith, S. A."],"key":"cam-tri-bai-mui-mci-hsdip16","id":"cam-tri-bai-mui-mci-hsdip16","bibbaseid":"camacho-triantafillou-muise-baier-mcilraith-nondeterministicplanningwithtemporallyextendedgoalscompletingthestoryforfiniteandinfiniteltl-2016","role":"author","urls":{},"metadata":{"authorlinks":{"camacho, a":"http://www.albertocamacho.com/","muise, c":"https://www.haz.ca/academic-publications.html"}}},"search_terms":["non","deterministic","planning","temporally","extended","goals","completing","story","finite","infinite","ltl","camacho","triantafillou","muise","baier","mcilraith"],"keywords":[],"authorIDs":["CBLksFoEERH5GZA5T","f4LpZ8LcDrvDyGuip"],"dataSources":["DprwGzu9heN5GXy3u","hqqbBi3M3BaCY6ivH"]}