9 citations · 30 across the 11 of their papers we have counts for
4 papers · 1 filter
Controller synthesis for MDPs and Frequency LTLGU
Vojtěch Forejt, Jan Krčál, Jan Křetínský
Quantitative extensions of temporal logics have recently attracted significant attention. In this work, we study frequency LTL (fLTL), an extension of LTL which allows to speak abo…
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…
On Frequency LTL in Probabilistic Systems
Vojtěch Forejt, Jan Krčál
We study frequency linear-time temporal logic (fLTL) which extends the linear-time temporal logic (LTL) with a path operator expressing that on a path, certain formula holds…