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

Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin +3

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 diffe…