Long-term average cost in featured transition systems.
Rafael OlaecheaUli FahrenbergJoanne M. AtleeAxel LegayPublished in: SPLC (2016)
Keyphrases
- average cost
- transition systems
- finite state
- model checking
- markov decision processes
- markov chain
- optimal policy
- long run
- concurrent systems
- markov decision chains
- temporal logic
- optimal control
- control flow
- initial state
- finite number
- linear program
- infinite horizon
- partially observable markov decision processes
- formal verification
- markov decision problems
- model checker
- objective function
- total cost
- petri net
- state space
- search algorithm