\v{L}ubo\v{s} Koren\v{c}iak

Identifiers

• name variant \v{L}ubo\v{s} Koren\v{c}iak 0.60 · backfill

Papers (6)

1. Synthesis of Optimal Resilient Control Strategies cs.SY · 2017 · author #3
2. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms cs.PF · 2017 · author #3
3. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration cs.PF · 2016 · author #1
4. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC cs.LO · 2016 · author #1
5. Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis cs.PF · 2014 · author #2
6. Dealing with Zero Density Using Piecewise Phase-type Approximation cs.PF · 2014 · author #1

Mentions

• 1707.03223 #3 · arxiv_oai · confidence 0.70 \v{L}ubo\v{s} Koren\v{c}iak
• 1407.4777 #2 · backfill · confidence 0.70 \v{L}ubo\v{s} Koren\v{c}iak
• 1406.7527 #1 · backfill · confidence 0.70 \v{L}ubo\v{s} Koren\v{c}iak

Frequent Coauthors

• Vojt\v{e}ch \v{R}eh\'ak 5 shared papers
• Anton\'in Ku\v{c}era 2 shared papers
• Christel Baier 2 shared papers
• Clemens Dubslaff 2 shared papers
• Jan Kr\v{c}\'al 2 shared papers
• Adrian Farmadin 1 shared papers
• Anton\'in Ku\v{c}era Vojt\v{e}ch \v{R}eh\'ak 1 shared papers
• Petr Novotn\'y 1 shared papers
• Tom\'a\v{s} Br\'azdil 1 shared papers