Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort, editors, Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Volume 9259 of Lecture Notes in Computer Science, pages 141-159, Springer, 2015. [doi]
Abstract is missing.