On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

Dang Van Hung Miaomiao Zhang

Published in: RTCSA (2007)

Keyphrases

bayesian networks
genetic algorithm
probabilistic model
data driven
generative model
model checking
structural properties
posterior probability
probabilistic approaches
database
probability theory
context sensitive
information theoretic
random variables
image sequences
information systems
neural network