Login / Signup
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
Lubos Korenciak
Antonín Kucera
Vojtech Rehák
Published in:
MASCOTS (2016)
Keyphrases
</>
policy iteration
markov decision processes
reinforcement learning
multi agent
fixed point