39 citations · 53 across the 19 of their papers we have counts for
Showing 2014 · cs.PFShow all
2 papers · 2 filters
cs.PF2014★ 2 cited
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…
cs.PF2014
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…