Nicklas S. Johansen

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Texture Synthesis

Reinforcement Learning Agents

Plan Generation

Temporal Planner

Top Venues

Formal Aspects Comput.

Publications

Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS (2024)
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)