activity
20202026
most citedTools at the Frontiers of Quantitative Verification

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.AI2023★ 1 cited

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints

Severin Bals, Alexandros Evangelidis, Jan Křetínský +1

We present MULTIGAIN 2.0, a major extension to the controller synthesis tool MULTIGAIN, built on top of the probabilistic model checker PRISM. This new version extends MULTIGAIN's…