257 citations · 421 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 3 cited
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…
cs.LO2022
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated p…