Alternating RQ Timed Automata.

William K. C. Lam Robert K. Brayton

Published in: CAV (1993)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real time systems
temporal logic
theorem proving
image processing
software engineering
real time
high quality
objective function
multiresolution
information extraction
denoising