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

Lubos Korenciak Vojtech Rehák Adrian Farmadin

Published in: CoRR (2016)

Keyphrases

optimal solution
dynamic programming
critical path
real time
information retrieval
artificial intelligence
search engine
computer vision
website
upper bound
fixed number