31 citations · 40 across the 13 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…
Permissive Controller Synthesis for Probabilistic Systems
Klaus Drager, Vojtech Forejt, Marta Kwiatkowska +2
We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its en…
MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
Tomáš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt +1
We present MultiGain, a tool to synthesize strategies for Markov decision processes (MDPs) with multiple mean-payoff objectives. Our models are described in PRISM, and our tool use…
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…