TY - RPRT TI - Certifiable Robot Design Optimization using Differentiable Programming AU - Charles Dawson AU - Chuchu Fan PY - 2022 UR - https://arxiv.org/abs/2204.10935 ID - 2204.10935 ER -