Co-learning Planning and Control Policy using Differentiable Formal Task Constraints

hd.mp4
seq.mp4

Doggo

All videos of simulated Doggo.

seq.mp4

Turtlebot3 

All videos of simulated and real Turtlebot3. 

loop.mp4

Point

All videos of simulated Point.

cover.mp4

Car

All videos of simulated Car.

branch.mp4

Drone

All videos of simulated Drone.