%0 Conference Paper %1 conf/ijcai/CamachoTMBM16 %A Camacho, Alberto %A Triantafillou, Eleni %A Muise, Christian J. %A Baier, Jorge A. %A McIlraith, Sheila A. %B KnowProS@IJCAI %D 2016 %E Barták, Roman %E McCluskey, Thomas Leo %E Pontelli, Enrico %I CEUR-WS.org %K dblp %T Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). %U http://dblp.uni-trier.de/db/conf/ijcai/knowpros2016.html#CamachoTMBM16 %V 1648

@inproceedings{conf/ijcai/CamachoTMBM16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Camacho, Alberto and Triantafillou, Eleni and Muise, Christian J. and Baier, Jorge A. and McIlraith, Sheila A.}, biburl = {https://www.bibsonomy.org/bibtex/2798b9929ef553fe0cd5d85f863648e87/dblp}, booktitle = {KnowProS@IJCAI}, crossref = {conf/ijcai/2016knowpros}, editor = {Barták, Roman and McCluskey, Thomas Leo and Pontelli, Enrico}, ee = {https://ceur-ws.org/Vol-1648/paper10.pdf}, interhash = {4ae177195ae64d2aa9e93c257348e3f3}, intrahash = {798b9929ef553fe0cd5d85f863648e87}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:46:17.000+0200}, title = {Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/knowpros2016.html#CamachoTMBM16}, volume = 1648, year = 2016 }