Complexity of Safety and coSafety Fragments of Linear Temporal Logic

Alessandro Artale, Luca Geatti, Nicola Gigante +2

Linear Temporal Logic (LTL) is the de-facto standard temporal logic for system specification, whose foundational properties have been studied for over five decades. Safety and cosa…