%0 Conference Paper %1 conf/icra/RamanPK13 %A Raman, Vasumathi %A Piterman, Nir %A Kress-Gazit, Hadas %B ICRA %D 2013 %I IEEE %K dblp %P 4075-4081 %T Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. %U http://dblp.uni-trier.de/db/conf/icra/icra2013.html#RamanPK13 %@ 978-1-4673-5641-1

@inproceedings{conf/icra/RamanPK13, added-at = {2018-11-14T00:00:00.000+0100}, author = {Raman, Vasumathi and Piterman, Nir and Kress-Gazit, Hadas}, biburl = {https://www.bibsonomy.org/bibtex/2318417d708f97535fda6a997691d3be1/dblp}, booktitle = {ICRA}, crossref = {conf/icra/2013}, ee = {https://www.wikidata.org/entity/Q56421261}, interhash = {98c509226c7c257ed7aedb890a4184b9}, intrahash = {318417d708f97535fda6a997691d3be1}, isbn = {978-1-4673-5641-1}, keywords = {dblp}, pages = {4075-4081}, publisher = {IEEE}, timestamp = {2019-10-17T13:10:15.000+0200}, title = {Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.}, url = {http://dblp.uni-trier.de/db/conf/icra/icra2013.html#RamanPK13}, year = 2013 }