Andreas L. Madsen

Publication Activity (10 Years)

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

Top Topics

Hierarchical Reinforcement Learning

Nash Equilibrium

Concurrent Execution

Top Venues

Formal Aspects Comput.

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)