MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
Severin BalsAlexandros EvangelidisKush GroverJan KretinskýJakob WaibelPublished in: CoRR (2023)
Keyphrases
- steady state
- markov chain
- queue length
- product form
- operating conditions
- arrival rate
- markov decision processes
- queueing networks
- steady states
- controller synthesis
- explicit expressions
- state space
- state dependent
- queueing model
- utility function
- optimal policy
- reinforcement learning
- autonomic computing systems
- transition probabilities
- real time
- heavy traffic
- service times
- arrival process
- neural network