TY - RPRT TI - Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis AU - Andreas Rauh AU - Julia Kersten PY - 2021 DO - 10.4204/eptcs.331.2 UR - https://arxiv.org/abs/2101.05414 ID - 2101.05414 ER -