Weak Alternating Timed Automata.

Pawel Parys Igor Walukiewicz

Published in: ICALP (2) (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
temporal logic
computer vision
databases
probabilistic model
special case
information technology
learning environment
real time systems
image processing
database
weak signal