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