Login / Signup

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

Lubos KorenciakAntonín KuceraVojtech Rehák
Published in: MASCOTS (2016)
Keyphrases
  • policy iteration
  • markov decision processes
  • reinforcement learning
  • multi agent
  • fixed point