xscave
Menu
Home
About
Publications
Consortium
News & Events
Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates