Severin Bals

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Controller Synthesis

Explicit Expressions

Top Venues

Publications

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