Picture for Ayca Balkan

Ayca Balkan

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control

Add code
Jan 13, 2016
Figure 1 for Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Figure 2 for Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Figure 3 for Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Figure 4 for Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Viaarxiv icon