Andreas Holck Høeg-Petersen

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Program Synthesis

Top Venues

Publications

Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling
Efficient Shield Synthesis via State-Space Transformation. CoRR (2024)
Esther Ploeger, Wessel Poelman, Andreas Holck Høeg-Petersen, Anders Schlichtkrull, Miryam de Lhoneux, Johannes Bjerva
A Principled Framework for Evaluating on Typologically Diverse Languages. CoRR (2024)