Login / Signup
Lasse B. Kær
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Hierarchical Reinforcement Learning
Nash Equilibrium
Concurrent Execution
Learning Games
Top Venues
Formal Aspects Comput.
CloudNet
IFM
</>
Publications
</>
Nicklas S. Johansen
,
Lasse B. Kær
,
Andreas L. Madsen
,
Kristian Ø. Nielsen
,
Jirí Srba
,
Rasmus G. Tollund
Kaki: Efficient Concurrent Update Synthesis for SDN.
Formal Aspects Comput.
35 (3) (2023)
Nicklas S. Johansen
,
Lasse B. Kær
,
Andreas L. Madsen
,
Kristian Ø. Nielsen
,
Jirí Srba
,
Rasmus G. Tollund
Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games.
IFM
(2022)
Nicklas S. Johansen
,
Lasse B. Kær
,
Andreas L. Madsen
,
Kristian Ø. Nielsen
,
Stefan Schmid
,
Jirí Srba
,
Rasmus G. Tollund
FBR: Dynamic Memory-Aware Fast Rerouting.
CloudNet
(2022)