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…
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…
Probabilistic Bisimulation: Naturally on Distributions
Holger Hermanns, Jan Krčál, Jan Křetínský
In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this pa…
Compositional Verification and Optimization of Interactive Markov Chains
Holger Hermanns, Jan Krčál, Jan Křetínský
Interactive Markov chains (IMC) are compositional behavioural models extending labelled transition systems and continuous-time Markov chains. We provide a framework and algorithms…