The Complexity of Flat Freeze LTL.

Benedikt Bollig Karin Quaas Arnaud Sangnier

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

computational complexity
model checking
worst case
temporal logic
data sets
neural network
search engine
computational cost
memory requirements