611 citations · 855 across the 28 of their papers we have counts for
4 papers · 1 filter
On the Control of Self-Balancing Unicycles
Felix Freiberger, Holger Hermanns
This paper discusses the problem of designing a self-balancing unicycle where pedals are used for both power generation and speed control. After developing the principal physical a…
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…
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage
Arnd Hartmanns, Holger Hermanns
The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available ca…
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…