Anirudha Majumdar, Mark M. Tobenkin, Russ Tedrake. Algebraic verification for parameterized motion planning libraries. In American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012. pages 250-257, IEEE, 2012. [doi]
@inproceedings{MajumdarTT12,
title = {Algebraic verification for parameterized motion planning libraries},
author = {Anirudha Majumdar and Mark M. Tobenkin and Russ Tedrake},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6315544},
researchr = {https://researchr.org/publication/MajumdarTT12},
cites = {0},
citedby = {0},
pages = {250-257},
booktitle = {American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012},
publisher = {IEEE},
isbn = {978-1-4577-1095-7},
}