@misc{indiciae4f64928c1155,
  title = {Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications},
  author = {Lars Lindemann and George J. Pappas and Dimos V. Dimarogonas},
  year = {2020},
  url = {https://arxiv.org/abs/2004.02111},
  note = {Source identifier: 2004.02111}
}