%0 Journal Article %1 journals/corr/abs-2404-08334 %A Jiang, Frank J. %A Arfvidsson, Kaj Munhoz %A He, Chong %A Chen, Mo %A Johansson, Karl Henrik %D 2024 %J CoRR %K dblp %T Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. %U http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-08334 %V abs/2404.08334

@article{journals/corr/abs-2404-08334, added-at = {2024-05-16T00:00:00.000+0200}, author = {Jiang, Frank J. and Arfvidsson, Kaj Munhoz and He, Chong and Chen, Mo and Johansson, Karl Henrik}, biburl = {https://www.bibsonomy.org/bibtex/22f95d20693cc9b5d9eefd0208b41319c/dblp}, ee = {https://doi.org/10.48550/arXiv.2404.08334}, interhash = {c0feb440b852ae3d6afbd71c14b00f08}, intrahash = {2f95d20693cc9b5d9eefd0208b41319c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-05-20T07:09:15.000+0200}, title = {Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-08334}, volume = {abs/2404.08334}, year = 2024 }