2 citations · 2 across the 6 of their papers we have counts for
6 papers
Synthesis of Optimal Resilient Control Strategies
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +1
Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are i…
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +2
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distrib…
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
Ľuboš Korenčiak, Antonín Kučera, Vojtěch Řehák
We consider the fixed-delay synthesis problem for continuous-time Markov chains extended with fixed-delay transitions (fdCTMC). The goal is to synthesize concrete values of the fix…
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
Ľuboš Korenčiak, Vojtěch Řehák, Adrian Farmadin
We present a practically appealing extension of the probabilistic model checker PRISM rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the e…
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
Tomáš Brázdil, Ľuboš Korenčiak, Jan Krčál +2
We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specif…
Dealing with Zero Density Using Piecewise Phase-type Approximation
Ľuboš Korenčiak, Jan Krčál, Vojtěch Řehák
Every probability distribution can be approximated up to a given precision by a phase-type distribution, i.e. a distribution encoded by a continuous time Markov chain (CTMC). Howev…