Averaging in LTL.

Patricia Bouyer Nicolas Markey Raj Mohan Matteplackel

Published in: CONCUR (2014)

Keyphrases

model checking
temporal logic
linear temporal logic
deterministic automata
bounded model checking
linear time temporal logic
data sets
formal verification
hidden markov models
search algorithm
video sequences
artificial intelligence
weighted averaging
genetic algorithm
machine learning
data mining
database