%0 Journal Article %1 journals/fmsd/PhanYGSS17 %A Phan, Dung T. %A Yang, Junxing %A Grosu, Radu %A Smolka, Scott A. %A Stoller, Scott D. %D 2017 %J Formal Methods Syst. Des. %K %N 1 %P 62-86 %T Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#PhanYGSS17 %V 51

@article{journals/fmsd/PhanYGSS17, added-at = {2023-12-13T09:22:26.000+0100}, author = {Phan, Dung T. and Yang, Junxing and Grosu, Radu and Smolka, Scott A. and Stoller, Scott D.}, biburl = {https://www.bibsonomy.org/bibtex/2bbbd03fa5ed8a1e67ef02fb2aa07da02/admin}, ee = {https://doi.org/10.1007/s10703-016-0265-4}, interhash = {cd8ecafd00df7f475cb207f32dc99f8a}, intrahash = {bbbd03fa5ed8a1e67ef02fb2aa07da02}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 1, pages = {62-86}, timestamp = {2023-12-13T09:22:26.000+0100}, title = {Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#PhanYGSS17}, volume = 51, year = 2017 }