no code implementations • 26 May 2023 • Severin Bals, Alexandros Evangelidis, Jan Křetínský, Jakob Waibel
We present MULTIGAIN 2. 0, a major extension to the controller synthesis tool MULTIGAIN, built on top of the probabilistic model checker PRISM.