Reachability in Injective Piecewise Affine Maps.

Faraz Ghahremani, Edon Kelmendi, Jol Ouaknine

Browse the full LICS paper archive.