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

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…