Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications

Open in new window