TY - RPRT TI - Compatibility checking of multiple control barrier functions for input constrained systems AU - Xiao Tan AU - Dimos V. Dimarogonas PY - 2022 UR - https://arxiv.org/abs/2209.02284 ID - 2209.02284 ER -