TY - RPRT TI - Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles AU - Charles Dawson AU - Andreas Hofmann AU - Brian Williams PY - 2020 UR - https://arxiv.org/abs/2003.07792 ID - 2003.07792 ER -