Papers -- Tableaux-Based Decision Method for Single-Agent Linear Time -- Synchronous