TY - RPRT TI - On the complexity of bounded time and precision reachability for piecewise affine systems AU - Hugo Bazille AU - Olivier Bournez AU - Walid Gomaa AU - Amaury Pouly PY - 2017 DO - 10.1016/j.tcs.2016.09.021 UR - https://arxiv.org/abs/1601.05353 ID - 1601.05353 ER -