A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.
Marnix SuilenMarck van der VegtSebastian JungesPublished in: CoRR (2024)
Keyphrases
- dynamic programming
- computational cost
- matching algorithm
- cost function
- learning algorithm
- detection algorithm
- optimization algorithm
- linear programming
- experimental evaluation
- preprocessing
- significant improvement
- neural network
- optimal solution
- convergence rate
- search space
- times faster
- markov decision processes
- state space
- data structure
- expectation maximization
- complexity bounds
- k means
- objective function
- high accuracy
- worst case
- probabilistic model
- computational complexity
- np hard
- evolutionary algorithm