A Full Symbolic Reachability Analysis Algorithm of Timed Automata Based on BDD.

Huiping Zhang Junwei Du Ling Cao Guixin Zhu

Published in: ISADS (2015)

Keyphrases

detection algorithm
objective function
learning algorithm
k means
cost function
np hard
dynamic programming
computational complexity
linear programming
expectation maximization
binary decision diagrams
segmentation algorithm
search space
markov chain
worst case
probability distribution
convergence rate