Extension of Synthesis Algorithm of Recursive Processes to \mu-Calculus.
Shigetomo KimuraAtsushi TogashiNorio ShiratoriPublished in: Inf. Process. Lett. (1996)
Keyphrases
- improved algorithm
- computational complexity
- matching algorithm
- computational cost
- high accuracy
- mobile robot
- optimal solution
- learning algorithm
- detection algorithm
- expectation maximization
- convergence rate
- selection algorithm
- np hard
- cost function
- objective function
- experimental evaluation
- theoretical analysis
- times faster
- clustering method
- ant colony optimization
- single pass
- recursive algorithm
- genetic algorithm
- path planning
- classification algorithm
- optimization algorithm
- logic programs
- worst case
- evolutionary algorithm
- search space
- similarity measure