Alternating Timed Automata

Slawomir Lasota Igor Walukiewicz

Published in: CoRR (2005)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real time systems
theorem proving
image sequences
evolutionary algorithm
knowledge representation
software systems
image analysis
data analysis
pattern recognition
training data
similarity measure
image processing