Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.

Lubos Korenciak Antonín Kucera Vojtech Rehák

Published in: CoRR (2016)

Keyphrases

policy iteration
fixed point
reinforcement learning
markov decision processes
sample path