TY - RPRT TI - Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance AU - Matthew Cavorsi AU - Mohammad Khajenejad AU - Ruochen Niu AU - Qiang Shen AU - Sze Zheng Yong PY - 2020 UR - https://arxiv.org/abs/2004.01858 ID - 2004.01858 ER -