TY  - RPRT
TI  - BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning
AU  - Binghan He
AU  - Jaemin Lee
AU  - Ufuk Topcu
AU  - Luis Sentis
PY  - 2020
UR  - https://arxiv.org/abs/2009.02432
ID  - 2009.02432
ER  -