EasyChair Smart Slide
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics