@article{synthesisingadatabaseofparameterised,
  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},
  eprint = {1901.09793},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1901.09793v1},
}