Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/IEEEcca/FilippidisDLOM16
%A Filippidis, Ioannis
%A Dathathri, Sumanth
%A Livingston, Scott C.
%A Ozay, Necmiye
%A Murray, Richard M.
%B CCA
%D 2016
%I IEEE
%K dblp
%P 1030-1041
%T Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.
%U http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2016.html#FilippidisDLOM16
%@ 978-1-5090-0755-4
@inproceedings{conf/IEEEcca/FilippidisDLOM16,
added-at = {2022-12-07T00:00:00.000+0100},
author = {Filippidis, Ioannis and Dathathri, Sumanth and Livingston, Scott C. and Ozay, Necmiye and Murray, Richard M.},
biburl = {https://www.bibsonomy.org/bibtex/2cb5d217331129bec2fdb19b2498f58f1/dblp},
booktitle = {CCA},
crossref = {conf/IEEEcca/2016},
ee = {https://www.wikidata.org/entity/Q59813813},
interhash = {d11d939643ff19072f6932e9048f65e0},
intrahash = {cb5d217331129bec2fdb19b2498f58f1},
isbn = {978-1-5090-0755-4},
keywords = {dblp},
pages = {1030-1041},
publisher = {IEEE},
timestamp = {2024-04-10T21:13:39.000+0200},
title = {Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.},
url = {http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2016.html#FilippidisDLOM16},
year = 2016
}