FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
Chuchu Fan
Latest
Controller Synthesis for Linear System With Reach-Avoid Specifications
Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics
Cite
×