Hyeonkyu Seong, Kyoungho Lee, Kyunghoon Cho. Reactive Planner Synthesis Under Temporal Logic Specifications. IEEE Access, 12:13260-13276, 2024. [doi]
@article{SeongLC24,
title = {Reactive Planner Synthesis Under Temporal Logic Specifications},
author = {Hyeonkyu Seong and Kyoungho Lee and Kyunghoon Cho},
year = {2024},
doi = {10.1109/ACCESS.2024.3356570},
url = {https://doi.org/10.1109/ACCESS.2024.3356570},
researchr = {https://researchr.org/publication/SeongLC24},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {12},
pages = {13260-13276},
}