End-to-End Path Planning Under Linear Temporal Logic Specifications, IEEE Access , 제12권(집) , 2024.04.22

Reactive Planner Synthesis Under Temporal Logic Specifications, IEEE Access , 제12권(집) , 2024.01.29

Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications, IEEE Access , 2024.01.09

Learning-based Path Planning under Co-Safe Temporal Logic Specifications, IEEE Access , 제11권(집) , PP.25865~25878 , 2023.03.14

A Hierarchical Learning Approach to Autonomous Driving Using Rule Specifications, IEEE Access , 제10권(집) , PP.74815~74824 , 2022.07.15

Chance-Constrained Multilayered Sampling-Based Path Planning for Temporal Logic-Based Missions, IEEE TRANSACTIONS ON AUTOMATIC CONTROL , 제66권(집) , 제12호 , PP.5816~5829 , 2021.12.01

Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications, IEEE Robotics and Automation Letters , 제2권(집) , 제4호 , PP.2308~2315 , 2017.10.01