 Signal Temporal Logic Planning with Time-Varying RobustnessIEEE Control Systems Letters (L-CSS), 2024 |
 Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion
via Signal Temporal Logic Guided Model Predictive ControlIEEE Transactions on robotics (IEEE Trans. Robot.), 2024 |
 Temporal Logic Motion Planning with Convex Optimization via Graphs of
Convex SetsIEEE Transactions on robotics (TRO), 2023 |
 Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary
VariablesIEEE Control Systems Letters (L-CSS), 2022 |
