TY  - RPRT
TI  - Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic
AU  - Charles Dawson
AU  - Chuchu Fan
PY  - 2022
UR  - https://arxiv.org/abs/2203.02038
ID  - 2203.02038
ER  -