On the decidability of the existence of polyhedral invariants in transition systems
From MaRDI portal
Publication:2415375
DOI10.1007/s00236-018-0324-yzbMath1421.68097arXiv1709.04382OpenAlexW2964040301WikidataQ129889860 ScholiaQ129889860MaRDI QIDQ2415375
Publication date: 21 May 2019
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1709.04382
Computational aspects related to convexity (52B55) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Cites Work
This page was built for publication: On the decidability of the existence of polyhedral invariants in transition systems