Formal Specifications with Data-Driven Signal Analysis.

arXiv:2610.39007v1 Announce Type: new Abstract: Developing analog and hybrid systems requires substantial domain knowledge that is hard to articulate in a formal specification; without additional effort, this domain knowledge is also inaccessible to machine le