2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…