2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2015★ 1 cited
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…
cs.LO2015★ 2 cited
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…