Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics.

Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan

Browse the full CAV paper archive.