|
[KKR16]
Lubos Korenciak, Antonin Kucera and Vojtech Rehak.
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.
In Proc. 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'16).
2016.
[Proposes fixed-delay synthesis techniques on a variant of continuous-time Markov chains, implemented as an extension of PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|