Login / Signup
Stochastically Enhanced Timed Automata.
Lynne Blair
Trevor Jones
Gordon S. Blair
Published in:
FMOODS (2000)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
image processing
object recognition
temporal logic
neural network
control system
source code
denoising
probabilistic model
high resolution
prior knowledge
natural language
bayesian networks
similarity measure
machine learning