Correct-by-Consturction Synthesis for Autonomous Robots - Hadas Kress-Gazit

From Jennifer Shipe on October 7th, 2019