@misc{indiciae14bf7742a3c7,
  title = {Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance},
  author = {Matthew Cavorsi and Mohammad Khajenejad and Ruochen Niu and Qiang Shen and Sze Zheng Yong},
  year = {2020},
  url = {https://arxiv.org/abs/2004.01858},
  note = {Source identifier: 2004.01858}
}