On MITL and Alternating Timed Automata.

Thomas Brihaye Morgane Estiévenart Gilles Geeraerts

Published in: FORMATS (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
temporal logic
real time systems
feature space
real time
similarity measure
training data
pattern recognition
evolutionary algorithm
state space