Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis

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…