2023
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
ones in such a way to satisfy the formula. LTL realizability Linear Temporal Logic (LTL) is the de-facto standard tempo- is 2EXPTIME-complete, on both infinite (Rosner 1992) and ral logic for system specification, whose foundational prop- finite (De Giacomo and Vardi 2015) traces...