Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis

TitleOptimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
Publication TypeConference Paper
Year of PublicationIn Press
AuthorsBrázdil, T, Korenciak, L, Krčál, J, Novotný, P, Rehák, V
Conference NameQEST 2015
Work Package: 
WP1