Skip to main content
xscave
Menu
Home
About
Publications
Deliverables
Consortium
Videos
News & Events
Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates