@misc{indiciaebcdcd1d272a5,
  title = {Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications},
  author = {Yash Vardhan Pant and He Yin and Murat Arcak and Sanjit A. Seshia},
  year = {2020},
  url = {https://arxiv.org/abs/2009.14363},
  note = {Source identifier: 2009.14363}
}