TY  - RPRT
TI  - Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
AU  - Frank J. Jiang
AU  - Kaj Munhoz Arfvidsson
AU  - Chong He
AU  - Mo Chen
AU  - Karl H. Johansson
PY  - 2024
UR  - https://arxiv.org/abs/2404.08334
ID  - 2404.08334
ER  -