%0 Conference Paper %1 conf/cav/BakBHK17 %A Bak, Stanley %A Bogomolov, Sergiy %A Henzinger, Thomas A. %A Kumar, Aviral %B NSV@CAV %D 2017 %E Abate, Alessandro %E Boldo, Sylvie %I Springer %K dblp %P 83-89 %T Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. %U http://dblp.uni-trier.de/db/conf/cav/nsv2017.html#BakBHK17 %V 10381 %@ 978-3-319-63501-9

@inproceedings{conf/cav/BakBHK17, added-at = {2017-07-12T00:00:00.000+0200}, author = {Bak, Stanley and Bogomolov, Sergiy and Henzinger, Thomas A. and Kumar, Aviral}, biburl = {https://www.bibsonomy.org/bibtex/2bd1cb317fed25805eb87c6fa9ffe7cdb/dblp}, booktitle = {NSV@CAV}, crossref = {conf/cav/2017nsv}, editor = {Abate, Alessandro and Boldo, Sylvie}, ee = {https://doi.org/10.1007/978-3-319-63501-9_6}, interhash = {ce9750e9d445529eadd300f57a50d808}, intrahash = {bd1cb317fed25805eb87c6fa9ffe7cdb}, isbn = {978-3-319-63501-9}, keywords = {dblp}, pages = {83-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:00.000+0200}, title = {Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.}, url = {http://dblp.uni-trier.de/db/conf/cav/nsv2017.html#BakBHK17}, volume = 10381, year = 2017 }