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