TY  - RPRT
TI  - Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications
AU  - Zikang Xiong
AU  - Daniel Lawson
AU  - Joe Eappen
AU  - Ahmed H. Qureshi
AU  - Suresh Jagannathan
PY  - 2023
UR  - https://arxiv.org/abs/2303.01346
ID  - 2303.01346
ER  -