TY - RPRT TI - Symbolic Approximate Time-Optimal Control AU - Manuel Mazo Jr. AU - Paulo Tabuada PY - 2011 UR - https://arxiv.org/abs/1004.0763 ID - 1004.0763 ER -