TY  - RPRT
TI  - Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
AU  - Shuo Yang
AU  - Xiang Yin
AU  - Shaoyuan Li
AU  - Majid Zamani
PY  - 2020
UR  - https://arxiv.org/abs/2010.14160
ID  - 2010.14160
ER  -