On Piecewise Affine Reachability with Bellman Operators

Anton Varonka, Kazuki Watanabe

We study the following reachability problem for piecewise affine maps: Given two vectors $\mathbf{s},\mathbf{t}\in {\mathbb{Q}}^d$ and a piecewise affine map $f \colon \mathbb{Q}^d…