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

ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

Authors 0

1. Author list not loaded yet.