Login / Signup
Simulation and Bisimulation for Probabilistic Timed Automata.
Jeremy Sproston
Angelo Troina
Published in:
FORMATS (2010)
Keyphrases
</>
timed automata
model checking
neural network
probabilistic model
reachability analysis
mathematical model
simulation model
simulation environment
information systems
e learning
decision trees
bayesian networks
belief networks
probability theory