Multi-Objective Model Checking of Markov Decision Processes
Kousha EtessamiMarta Z. KwiatkowskaMoshe Y. VardiMihalis YannakakisPublished in: CoRR (2008)
Keyphrases
- multi objective
- markov decision processes
- model checking
- reachability analysis
- finite state
- temporal logic
- evolutionary algorithm
- state space
- optimal policy
- objective function
- reinforcement learning
- policy iteration
- formal verification
- dynamic programming
- genetic algorithm
- finite state machines
- epistemic logic
- timed automata
- pareto optimal
- reinforcement learning algorithms
- average cost
- verification method
- decision theoretic planning
- partially observable
- planning under uncertainty
- infinite horizon
- action space
- markov decision process
- modal logic