Andreas Holck Høeg-Petersen

According to our database, Andreas Holck Høeg-Petersen authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Christian Schilling, Andrzej Wasowski

CoRR, August, 2025

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