TY - RPRT TI - On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras AU - Yuda Li AU - Shaoyuan Li AU - Xiang Yin PY - 2026 UR - https://arxiv.org/abs/2601.10095 ID - 2601.10095 ER -