Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.

Lubos Korenciak, Vojtech Rehk, Adrian Farmadin

Browse the full IFM paper archive.