A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.

Jonas Rinast Sibylle Schupp Dieter Gollmann

Published in: FM (2014)

Keyphrases

model checking
graph model
image segmentation
hidden markov models
real time
data sets
neural network
search engine
image sequences
bayesian networks
semi supervised
markov chain
data reduction
state transition
timed automata