Andreas Holck Høeg-Petersen
Orcid: 0009-0003-7829-7318
According to our database1,
Andreas Holck Høeg-Petersen
authored at least 3 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Bridging the Gap Between AI and Reality, 2024
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024