2 papers
cs.AI2019
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjuncti…
cs.FL2017
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
We introduce the concept of regular expression characteristics as a unified way to concisely express bounds on time-series constraints. This allows us not only to define time-serie…