Reachability in Injective Piecewise Affine Maps

Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine. Reachability in Injective Piecewise Affine Maps. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023. pages 1-11, IEEE, 2023. [doi]

Abstract

Abstract is missing.