CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. - Rong Gu; Kaige Tan; Andreas Holck Høeg-Petersen; Lei Feng 002; Kim Guldstrand Larsen (ISoLA (3), 2024)

Efficient Shield Synthesis via State-Space Transformation. - Asger Horn Brorholt; Andreas Holck Høeg-Petersen; Kim Guldstrand Larsen; Christian Schilling 001 (AISoLA, 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)