A Simple Algorithm for Solving Qualitative Probabilistic Parity Games.
Ernst Moritz HahnSven ScheweAndrea TurriniLijun ZhangPublished in: CAV (2) (2016)
Keyphrases
- times faster
- preprocessing
- search space
- dynamic programming
- computational complexity
- probabilistic model
- objective function
- high accuracy
- experimental evaluation
- learning algorithm
- optimization algorithm
- matching algorithm
- theoretical analysis
- worst case
- np hard
- cost function
- significant improvement
- weighted majority
- posterior probability
- gradient projection
- clustering method
- detection algorithm
- segmentation algorithm
- simulated annealing
- data structure
- optimal solution
- similarity measure