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
- operating conditions
- product form
- state dependent
- explicit expressions
- arrival rate
- controller synthesis
- queueing networks
- steady states
- service times
- queue length
- heavy traffic
- queueing model
- transition probabilities
- markov decision processes
- utility function
- artificial neural networks
- reinforcement learning
- arrival process
- learning algorithm
- variance estimator
- machine learning
- real time