Andreas Holck Høeg-Petersen

According to our database, Andreas Holck Høeg-Petersen authored at least 3 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Principled Framework for Evaluating on Typologically Diverse Languages.

Esther Ploeger, Wessel Poelman, Andreas Holck Høeg-Petersen, Anders Schlichtkrull, Miryam de Lhoneux, Johannes Bjerva

CoRR, 2024

Efficient Shield Synthesis via State-Space Transformation.

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling

Proceedings of the Bridging the Gap Between AI and Reality, 2024

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles.

Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024