TY - RPRT TI - Consolidated Control Barrier Functions: Synthesis and Online Verification via Adaptation under Input Constraints AU - Mitchell Black AU - Dimitra Panagou PY - 2023 UR - https://arxiv.org/abs/2304.01815 ID - 2304.01815 ER -