TY - RPRT TI - Under-Approximate Reachability Analysis for a Class of Linear Systems with Inputs AU - Mohamed Serry AU - Jun Liu PY - 2023 UR - https://arxiv.org/abs/2112.13503 ID - 2112.13503 ER -