A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.
Tamajit BanerjeeRupak MajumdarKaushik MallikAnne-Kathrin SchmuckSadegh SoudjaniPublished in: TACAS (2) (2022)
Keyphrases
- detection algorithm
- learning algorithm
- cost function
- dynamic programming
- k means
- matching algorithm
- computational complexity
- experimental evaluation
- times faster
- np hard
- computational cost
- high accuracy
- expectation maximization
- theoretical analysis
- recognition algorithm
- simulated annealing
- monte carlo
- clustering method
- improved algorithm
- optimization algorithm
- probabilistic model
- significant improvement
- search space
- segmentation algorithm
- input data
- linear programming
- genetic algorithm
- preprocessing
- similarity measure
- weighted majority
- gradient projection