Complexity of Safety and coSafety Fragments of Linear Temporal Logic.

Alessandro Artale Luca Geatti Nicola Gigante Andrea Mazzullo Angelo Montanari

Published in: AAAI (2023)

Keyphrases

linear temporal logic
temporal logic
computational complexity
objective function
model checking
decision problems
long run