Andreas Holck Heg-Petersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2024–2024
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. | Rong Gu, Kaige Tan, Andreas Holck Heg-Petersen, Lei Feng, Kim Guldstrand Larsen |
| 2024 | VECoS | Efficient Shield Synthesis via State-Space Transformation. | Asger Horn Brorholt, Andreas Holck Heg-Petersen, Kim Guldstrand Larsen, Christian Schilling |