Automaton-Guided Trajectory Synthesis for Signal Temporal LogicLast updated on Sep 17, 2023Signal Temporal LogicMotion Planning Temporal LogicQi Heng HoRobotics Researcher
