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

Lubos Korenciak Vojtech Rehák Adrian Farmadin

Published in: IFM (2016)

Keyphrases

worst case
real time
dynamic programming
data sets
real world
optimal solution
optimal design
asymptotically optimal
program synthesis
information retrieval
artificial intelligence
e learning
website