Efficient simulation-based verification of probabilistic timed automata.

Arnd Hartmanns Sean Sedwards Pedro R. D'Argenio

Published in: WSC (2017)

Keyphrases

model checking
timed automata
probabilistic model
multiscale
generative model
data sets
database
real time
artificial intelligence
bayesian networks
software engineering
low cost