Inproceedings,
Scalable lazy SMT-based motion planning.
Y. Shoukry, P. Nuzzo, I. Saha, A. Sangiovanni-Vincentelli, S. Seshia, G. Pappas, and P. Tabuada.CDC, page 6683-6688. IEEE, (2016)
Meta data
- BibTeX key
- conf/cdc/ShoukryNSSSPT16
- entry type
- inproceedings
- booktitle
- CDC
- year
- 2016
- pages
- 6683-6688
- publisher
- IEEE
- crossref
- conf/cdc/2016
- ee
- https://doi.org/10.1109/CDC.2016.7799298
- isbn
- 978-1-5090-1837-6
- url
- http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#ShoukryNSSSPT16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cdc/ShoukryNSSSPT16
%A Shoukry, Yasser
%A Nuzzo, Pierluigi
%A Saha, Indranil
%A Sangiovanni-Vincentelli, Alberto L.
%A Seshia, Sanjit A.
%A Pappas, George J.
%A Tabuada, Paulo
%B CDC
%D 2016
%I IEEE
%K
%P 6683-6688
%T Scalable lazy SMT-based motion planning.
%U http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#ShoukryNSSSPT16
%@ 978-1-5090-1837-6
@inproceedings{conf/cdc/ShoukryNSSSPT16,
added-at = {2023-12-13T00:38:47.000+0100},
author = {Shoukry, Yasser and Nuzzo, Pierluigi and Saha, Indranil and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A. and Pappas, George J. and Tabuada, Paulo},
biburl = {https://www.bibsonomy.org/bibtex/2cac56c01f36fca47726556ea49654ba0/admin},
booktitle = {CDC},
crossref = {conf/cdc/2016},
ee = {https://doi.org/10.1109/CDC.2016.7799298},
interhash = {665a985788a8d04cc4306f9223e18c5b},
intrahash = {cac56c01f36fca47726556ea49654ba0},
isbn = {978-1-5090-1837-6},
keywords = {},
pages = {6683-6688},
publisher = {IEEE},
timestamp = {2023-12-13T00:38:47.000+0100},
title = {Scalable lazy SMT-based motion planning.},
url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#ShoukryNSSSPT16},
year = 2016
}