Login / Signup
Alternating timed automata.
Slawomir Lasota
Igor Walukiewicz
Published in:
ACM Trans. Comput. Log. (2008)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
real time
high quality
multi class
temporal logic
artificial intelligence
image segmentation
multiscale
computational complexity
low cost