| Kaki: Concurrent update synthesis for regular policies via petri games NS Johansen, LB Kær, AL Madsen, KØ Nielsen, J Srba, RG Tollund International Conference on Integrated Formal Methods, 249-267, 2022 | 5 | 2022 |
| Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata RG Tollund, NS Johansen, KØ Nielsen, Á Torralba, KG Larsen Proceedings of the International Conference on Automated Planning and …, 2024 | 1 | 2024 |
| Kaki: Efficient Concurrent Update Synthesis for SDN NS Johansen, LB Kær, AL Madsen, KØ Nielsen, J Srba, RG Tollund Formal Aspects of Computing 35 (3), 1-22, 2023 | | 2023 |
| Efficiently Finding Ratio-Optimal Infinite Cycles in Doubly-Priced Timed Automata NS Johansen, KØ Nielsen, RG Tollund | | 2023 |
| FBR: Dynamic Memory-Aware Fast Rerouting NS Johansen, LB Kær, AL Madsen, KØ Nielsen, S Schmid, J Srba, ... 2022 IEEE 11th International Conference on Cloud Networking (CloudNet), 55-60, 2022 | | 2022 |
| FTSPlan: Task Reformulation via Merge-and-Shrink A Torralba, S Sievers, RG Tollund, KØ Nielsen | | |
