LTL.

Adam Antonik Michael Huth

Published in: MFPS (2006)

Keyphrases

model checking
linear temporal logic
temporal logic
bounded model checking
deterministic automata
linear time temporal logic
artificial intelligence
sufficient conditions
finite automata
databases
genetic algorithm
metadata
training data
objective function
formal verification