Severin Bals

1. MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
   2023/05/26 by Severin Bals, Alexandros Evangelidis, Bals, Severin +5 · 1 citation
   Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Modeling and Simulation Systems