01:06:08duration 1 hour 6 minutes
Correct-by-Consturction Synthesis for Autonomous…
Correct-by-Consturction Synthesis for Autonomous Robots - Hadas Kress-Gazit