Long-Term Average Cost in Featured Transition Systems.
Rafael OlaecheaUli FahrenbergJoanne M. AtleeAxel LegayPublished in: CoRR (2016)
Keyphrases
- average cost
- transition systems
- finite state
- model checking
- markov decision processes
- markov chain
- optimal policy
- markov decision chains
- concurrent systems
- temporal logic
- finite number
- long run
- linear programming
- infinite horizon
- optimal control
- linear program
- multistage
- initial state
- practical reasoning
- reinforcement learning
- policy iteration
- distributed systems
- state space