TY  - RPRT
TI  - Formalizing Operational Design Domains with the Pkl Language
AU  - Martin Skoglund
AU  - Fredrik Warg
AU  - Anders Thorsén
AU  - Sasikumar Punnekkat
AU  - Hans Hansson
PY  - 2025
DO  - 10.1109/iv64158.2025.11097576
UR  - https://arxiv.org/abs/2509.02221
ID  - 2509.02221
ER  -