Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes.
Christel BaierCalvin ChauSascha KlüppelholzPublished in: CoRR (2024)
Keyphrases
- markov decision processes
- multi objective
- finite state
- reinforcement learning
- evolutionary algorithm
- optimal policy
- state space
- transition matrices
- query processing
- dynamic programming
- policy iteration
- multi objective optimization
- action space
- finite horizon
- decision theoretic planning
- decision processes
- genetic algorithm
- reachability analysis
- model based reinforcement learning
- average cost
- infinite horizon
- average reward
- risk sensitive
- particle swarm optimization
- planning under uncertainty
- factored mdps
- action sets
- multiple objectives
- state and action spaces
- reinforcement learning algorithms
- pareto optimal
- semi markov decision processes
- differential evolution
- real time dynamic programming