Synthesis and Verification of Register Automata over Data Sequences (Technical Report).

arXiv:2511.19100v2 Announce Type: replace Abstract: Data sequences, such as time series, traces, and sensor streams, are words over large or infinite data domains. Their properties often depend on comparisons between values at different positions, which finite