TY - RPRT TI - Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates AU - Naeim Ebrahimi Toulkani AU - Reza Ghabcheloo PY - 2025 UR - https://arxiv.org/abs/2411.07640 ID - 2411.07640 ER -