On MITL and alternating timed automata over infinite words.

Thomas Brihaye Morgane Estiévenart Gilles Geeraerts

Published in: CoRR (2014)

Keyphrases

timed automata
model checking
reachability analysis
n gram
theorem prover
theorem proving
related words
first order logic
word sense disambiguation
real time systems
word recognition
data sets
keywords
temporal logic
finite sets
software engineering
proper nouns