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:
CoRR (2015)
Keyphrases
</>
markov decision processes
controller synthesis
dynamic programming
neural network
reinforcement learning