@misc{indiciae928ed12776e8,
  title = {Continuous-time Signal Temporal Logic Planning with Control Barrier Function},
  author = {Guang Yang and Roberto Tron and Calin Belta},
  year = {2019},
  url = {https://arxiv.org/abs/1903.03860},
  note = {Source identifier: 1903.03860}
}