A New Algorithm for Strategy Synthesis in LTL Games.
Aidan HardingMark RyanPierre-Yves SchobbensPublished in: TACAS (2005)
Keyphrases
- learning algorithm
- dynamic programming
- experimental evaluation
- computational complexity
- high accuracy
- improved algorithm
- search space
- selection algorithm
- np hard
- preprocessing
- segmentation algorithm
- matching algorithm
- detection algorithm
- computationally efficient
- weighted majority
- search strategy
- recognition algorithm
- neural network
- particle swarm optimization
- simulated annealing
- computational cost
- cost function
- objective function
- worst case
- video games
- significant improvement
- k means
- similarity measure