On MITL and alternating timed automata

Thomas Brihaye Morgane Estiévenart Gilles Geeraerts

Published in: CoRR (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
data sets
image processing
real time systems
artificial intelligence
computer vision
pattern recognition
pairwise
level set