Login / Signup
Severin Bals
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Queueing Model
Steady State
Controller Synthesis
Explicit Expressions
Top Venues
CoRR
</>
Publications
</>
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)