The Complexity of Flat Freeze LTL.

Benedikt Bollig Karin Quaas Arnaud Sangnier

Published in: CONCUR (2017)

Keyphrases

model checking
computational cost
databases
feature selection
decision making
expert systems
sufficient conditions
domain independent
temporal logic
complexity analysis