TY  - RPRT
TI  - Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
AU  - Tomáš Brázdil
AU  - Ľuboš Korenčiak
AU  - Jan Krčál
AU  - Petr Novotný
AU  - Vojtěch Řehák
PY  - 2016
UR  - https://arxiv.org/abs/1407.4777
ID  - 1407.4777
ER  -