TY  - RPRT
TI  - Formal Specifications with Data-Driven Signal Analysis
AU  - Roderick Bloem
AU  - Benedikt Maderbacher
AU  - Cristinel Mateis
AU  - Dejan Ničković
AU  - Sergii Tkachov
AU  - Björn Ziegler
PY  - 2026
UR  - https://arxiv.org/abs/2610.39007
ID  - 2610.39007
ER  -