From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.

T. Brázdil, L. Korenciak, J. Krcál, P. Novotný, и V. Rehák. QEST, том 9259 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lubos Polerecky

Edith Lubos

Renate Lubos

Lubos Trnka

Günter Lubos

Другие публикации лиц с тем же именем

Dealing with Zero Density Using Piecewise Phase-Type Approximation.L. Korenciak, J. Krcál, и V. Rehák. EPEW, том 8721 из Lecture Notes in Computer Science, стр. 119-134. Springer, (2014)Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis.T. Brázdil, L. Korenciak, J. Krcál, P. Novotný, и V. Rehák. CoRR, (2014)Synthesis of Optimal Resilient Control Strategies.C. Baier, C. Dubslaff, L. Korenciak, и V. Rehák. CoRR, (2017)Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms.C. Baier, C. Dubslaff, L. Korenciak, A. Kucera, и V. Rehák. ACM Trans. Model. Comput. Simul., 29 (4): 28:1-28:26 (2019)On time-average limits in deterministic and stochastic petri nets.T. Brázdil, L. Korenciak, J. Krcál, J. Kretínský, и V. Rehák. ICPE, стр. 421-422. ACM, (2013)Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.L. Korenciak, A. Kucera, и V. Rehák. MASCOTS, стр. 367-372. IEEE Computer Society, (2016)Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms.C. Baier, C. Dubslaff, L. Korenciak, A. Kucera, и V. Rehák. QEST, том 10503 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2017)Synthesis of Optimal Resilient Control Strategies.C. Baier, C. Dubslaff, L. Korenciak, A. Kucera, и V. Rehák. ATVA, том 10482 из Lecture Notes in Computer Science, стр. 417-434. Springer, (2017)Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis.T. Brázdil, L. Korenciak, J. Krcál, P. Novotný, и V. Rehák. QEST, том 9259 из Lecture Notes in Computer Science, стр. 141-159. Springer, (2015)Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals.W. Wang, J. Talvitie, E. Adamova, T. Fath, L. Korenciak, M. Valkama, и E. Lohan. IEEE Wirel. Commun., 26 (6): 164-171 (2019)

BibSonomy

Disambiguation