On MITL and Alternating Timed Automata over Infinite Words.

Thomas Brihaye Morgane Estiévenart Gilles Geeraerts

Published in: FORMATS (2014)

Keyphrases

timed automata
model checking
reachability analysis
n gram
theorem prover
first order logic
keywords
text documents
theorem proving
real time systems
english words
state space
temporal logic
database
document representation
text corpora
word pairs
syntactic categories
genetic algorithm