Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱.
Severin BalsAlexandros EvangelidisJan KretínskýJakob WaibelPublished in: HSCC (2024)
Keyphrases
- steady state
- markov chain
- product form
- explicit expressions
- operating conditions
- markov decision processes
- heavy traffic
- controller synthesis
- queue length
- queueing networks
- arrival rate
- queueing model
- transition probabilities
- state space
- state dependent
- variance estimator
- autonomic computing systems
- utility function
- arrival process
- stationary distribution
- reinforcement learning
- neural network