@misc{indiciaea3796e88e4e0,
  title = {Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints},
  author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis},
  year = {2019},
  url = {https://arxiv.org/abs/1901.09793},
  note = {Source identifier: 1901.09793}
}