Login / Signup
Alternating Timed Automata.
Slawomir Lasota
Igor Walukiewicz
Published in:
FoSSaCS (2005)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
real time
hidden markov models
temporal logic
bayesian networks
probability distribution
medical images