@entry{imm-alt-che-fan-18-aa,
  author = {F Immler and M Althoff and X Chen and C Fan...},
  title = {ARCH-COMP18 category report: continuous and hybrid systems with nonlinear dynamics},
  journal = {Proc. of the 5th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://mediatum.ub.tum.de/doc/1454476/file.pdf}}},
  quotes = {... It is based on Runge-Kutta methods implemented with affine arithmetic. The distinctive feature is that all algorithms are formally verified in the interactive theorem prover Isabelle/HOL: ...}
}