Downward pattern refinement for timed automata.

Martin Wehrle Sebastian Kupferschmid

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
pattern matching
theorem proving
genetic algorithm
real time
databases
similarity measure
learning environment
multi agent systems
state space
first order logic
temporal logic