Inproceedings,
Finite LTL Synthesis as Planning.
A. Camacho, J. Baier, C. Muise, and S. McIlraith.ICAPS, page 29-38. AAAI Press, (2018)
Meta data
- BibTeX key
- conf/aips/CamachoBMM18
- entry type
- inproceedings
- booktitle
- ICAPS
- year
- 2018
- pages
- 29-38
- publisher
- AAAI Press
- crossref
- conf/aips/2018
- ee
- https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790
- isbn
- 978-1-57735-797-1
- url
- http://dblp.uni-trier.de/db/conf/aips/icaps2018.html#CamachoBMM18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/aips/CamachoBMM18
%A Camacho, Alberto
%A Baier, Jorge A.
%A Muise, Christian J.
%A McIlraith, Sheila A.
%B ICAPS
%D 2018
%E de Weerdt, Mathijs
%E Koenig, Sven
%E Röger, Gabriele
%E Spaan, Matthijs T. J.
%I AAAI Press
%K dblp
%P 29-38
%T Finite LTL Synthesis as Planning.
%U http://dblp.uni-trier.de/db/conf/aips/icaps2018.html#CamachoBMM18
%@ 978-1-57735-797-1
@inproceedings{conf/aips/CamachoBMM18,
added-at = {2018-06-25T00:00:00.000+0200},
author = {Camacho, Alberto and Baier, Jorge A. and Muise, Christian J. and McIlraith, Sheila A.},
biburl = {https://www.bibsonomy.org/bibtex/27818bbd269e357b11270dfbea9534fec/dblp},
booktitle = {ICAPS},
crossref = {conf/aips/2018},
editor = {de Weerdt, Mathijs and Koenig, Sven and Röger, Gabriele and Spaan, Matthijs T. J.},
ee = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17790},
interhash = {6e44a61ad76146406820f63ec911055a},
intrahash = {7818bbd269e357b11270dfbea9534fec},
isbn = {978-1-57735-797-1},
keywords = {dblp},
pages = {29-38},
publisher = {AAAI Press},
timestamp = {2018-06-26T11:38:03.000+0200},
title = {Finite LTL Synthesis as Planning.},
url = {http://dblp.uni-trier.de/db/conf/aips/icaps2018.html#CamachoBMM18},
year = 2018
}