TY - RPRT TI - Linear Encodings for Polytope Containment Problems AU - Sadra Sadraddini AU - Russ Tedrake PY - 2019 UR - https://arxiv.org/abs/1903.05214 ID - 1903.05214 ER -