O-Minimal Invariants for Discrete-Time Dynamical Systems

DOI10.4230/LIPIcs.ICALP.2018.114zbMath1499.68066arXiv1802.09263WikidataQ114820565 ScholiaQ114820565MaRDI QIDQ5002799

James Worrell, Joël Ouaknine, Shaull Almagor, Dmitry Chistikov

Publication date: 28 July 2021

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.09263

zbMATH Keywords

invariants; linear dynamical systems; o-minimality; non-termination; linear loops

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B25: Decidability of theories and sets of sentences

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

03C64: Model theory of ordered structures; o-minimality