An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.
Sahar MohajeraniRobi MalikMartin FabianPublished in: WODES (2014)
Keyphrases
- finite state machines
- dynamic programming
- preprocessing
- k means
- learning algorithm
- matching algorithm
- finite state automata
- cost function
- expectation maximization
- objective function
- computational complexity
- high accuracy
- detection algorithm
- experimental evaluation
- recognition algorithm
- optimization algorithm
- particle swarm optimization
- search space
- regular expressions
- bayesian networks
- similarity measure