@article{Mon8,
title = { On the decidability of the existence of polyhedral invariants in transition systems },
author = {Monniaux, David},
year = {2018},
eprint = {1709.04382},
journal = {Acta Informatica},
team = {PACSS},
pdf = {https://hal.archives-ouvertes.fr/hal-01587125/file/article_Monniaux_computability_polyhedral_abstraction.pdf},
hal_id = {hal-01587125},
hal_version = {v2},
entrysubtype = {intj},
eprinttype = {arxiv},
date = {2018-05-18},
}