@Inproceedings{EPTCS331.2,
  author    = {Rauh, Andreas and Kersten, Julia},
  year      = {2021},
  title     = {Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis},
  editor    = {Dang, Thao and Ratschan, Stefan},
  booktitle = {{\rm Proceedings 6th International Workshop on}
               Symbolic-Numeric methods for Reasoning about CPS and IoT,
               {\rm online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {331},
  publisher = {Open Publishing Association},
  pages     = {18-32},
  doi       = {10.4204/EPTCS.331.2},
}