@entry{gri-08-aa, author = {C Grimm}, title = {Result Verification of RRT-based Single-Query Path Planning through Interval Analysis}, journal = {PAMM: Proceedings in Applied Mathematics and ...,}, volume = {}, number = {}, pages = {}, year = 2008, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://onlinelibrary.wiley.com/doi/abs/10.1002/pamm.200810971}}}, quotes = {... The deployment of Taylor arithmetic and affine arithmetic and their impact on the quality of the interval inclusions will be investigated in future work. The algorithm presented is an ...} }