TY  - RPRT
TI  - MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
AU  - Severin Bals
AU  - Alexandros Evangelidis
AU  - Jan Křetínský
AU  - Jakob Waibel
PY  - 2024
UR  - https://arxiv.org/abs/2305.16752
ID  - 2305.16752
ER  -