TY  - RPRT
TI  - VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
AU  - Bassel Rafie
AU  - Christian Schindler
AU  - Andreas Rausch
PY  - 2025
UR  - https://arxiv.org/abs/2511.01417
ID  - 2511.01417
ER  -