43 citations · 168 across the 35 of their papers we have counts for
1 paper · 2 filters
Sumanth Dathathri, Richard M. Murray
Temporal logic based synthesis approaches are often used to find trajectories that are correct-by-construction for tasks in systems with complex behavior. Some examples of such tas…