Login / Signup
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.
Tomás Brázdil
Krishnendu Chatterjee
Vojtech Forejt
Antonín Kucera
Published in:
TACAS (2015)
Keyphrases
</>
controller synthesis
markov decision processes
optimal policy
machine learning
evolutionary algorithm
state space