9 citations · 30 across the 11 of their papers we have counts for
4 papers · 1 filter
Optimal Continuous Time Markov Decisions
Yuliya Butkova, Hassan Hatefi, Holger Hermanns +1
In the context of Markov decision processes running in continuous time, one of the most intriguing challenges is the efficient approximation of finite horizon reachability objectiv…
Recharging Probably Keeps Batteries Alive
Holger Hermanns, Jan Krčál, Gilles Nies
The kinetic battery model is a popular model of the dynamic behavior of a conventional battery, useful to predict or optimize the time until battery depletion. The model however la…
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
Tomáš Brázdil, Jan Krčál, Jan Křetínský +1
We study long run average behavior of generalized semi-Markov processes with both fixed-delay events as well as variable-delay events. We show that allowing two fixed-delay events…
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
Tomáš Brázdil, Jan Krčál, Jan Křetínský +2
We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Techn…