Symbolic Algorithm for Generation Büchi Automata from LTL Formulas.
Irina V. ShoshminaAlexey B. BelyaevPublished in: PaCT (2011)
Keyphrases
- generation algorithm
- experimental evaluation
- dynamic programming
- learning algorithm
- preprocessing
- search space
- high accuracy
- k means
- computational complexity
- cost function
- computational cost
- convergence rate
- detection algorithm
- optimization algorithm
- particle swarm optimization
- theoretical analysis
- probabilistic model
- significant improvement
- cellular automata
- objective function
- recognition algorithm
- similarity measure