@misc{indiciae04078c10c125,
  title = {On the decidability of the existence of polyhedral invariants in transition systems},
  author = {David Monniaux},
  year = {2018},
  url = {https://arxiv.org/abs/1709.04382},
  note = {Source identifier: 1709.04382}
}