Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates
Task: T4.3
T4.3 – Scalable Algorithms for Control Barrier Functions
T4.3 – Scalable Algorithms for Control Barrier Functions