Login / Signup
On probabilistic timed automata.
Danièle Beauquier
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
timed automata
model checking
reachability analysis
bayesian networks
generative model
uncertain data
theorem prover
first order logic
probabilistic approaches
database
artificial neural networks
probabilistic model
information theoretic
context sensitive
real time systems
probabilistic logic