TY  - RPRT
TI  - Navigating Dimensionality through State Machines in Automotive System Validation
AU  - Laurenz Adolph
AU  - barbara Schütt
AU  - David Kraus
AU  - Eric Sax
PY  - 2024
UR  - https://arxiv.org/abs/2408.10569
ID  - 2408.10569
ER  -