Lubos Korenciak

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Topics

Policy Iteration

Markov Processes

Cubic Spline Interpolation

Top Venues

IEEE Wirel. Commun.

Publications

Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Wenbo Wang, Jukka Talvitie, Eva Josth Adamova, Thilo Fath, Lubos Korenciak, Mikko Valkama, Elena Simona Lohan
Empowering Heterogeneous Communication Data Links in General Aviation through mmWave Signals. IEEE Wirel. Commun. 26 (6) (2019)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. CoRR (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Synthesis of Optimal Resilient Control Strategies. ATVA (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. QEST (2017)
Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. CoRR (2017)
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. IFM (2016)
Lubos Korenciak, Vojtech Rehák, Adrian Farmadin
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. CoRR (2016)
Lubos Korenciak, Antonín Kucera, Vojtech Rehák
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. MASCOTS (2016)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. QEST (2015)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Petr Novotný, Vojtech Rehák
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis. CoRR (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-type Approximation. CoRR (2014)
Lubos Korenciak, Jan Krcál, Vojtech Rehák
Dealing with Zero Density Using Piecewise Phase-Type Approximation. EPEW (2014)
Tomás Brázdil, Lubos Korenciak, Jan Krcál, Jan Kretínský, Vojtech Rehák
On time-average limits in deterministic and stochastic petri nets. ICPE (2013)
Martin Bezdeka, Ondrej Bouda, Lubos Korenciak, Matú Madzin, Vojtech Rehák
Sequence Chart Studio. ACSD (2012)