TY  - RPRT
TI  - Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
AU  - Yash Vardhan Pant
AU  - He Yin
AU  - Murat Arcak
AU  - Sanjit A. Seshia
PY  - 2020
UR  - https://arxiv.org/abs/2009.14363
ID  - 2009.14363
ER  -