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

Lubos Korenciak, Antonn Kucera, Vojtech Rehk

Browse the full MASCOTS paper archive.