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