Rasmus G. Tollund
Orcid: 0009-0001-9829-366X
According to our database1,
Rasmus G. Tollund
authored at least 5 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata".
Dataset, March, 2024
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
2023
Formal Aspects Comput., September, 2023
2022
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022
Proceedings of the 11th IEEE International Conference on Cloud Networking, 2022