MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (CoRR, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (HSCC, 2024)

Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (HSCC, 2024)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (Zenodo, 2024)