@entry{riz-imm-sch-alt-18-aa,
  author = {A Rizaldi and F Immler and B Sch{\"u}rmann and M Althoff},
  title = {A formally verified motion planner for autonomous vehicles},
  journal = {International Symposium on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-030-01090-4_5}}},
  quotes = {... Compared to VeriPhy, we use affine arithmetic and VeriPhy uses interval arithmetic-a special case of affine arithmetic. However, our approach needs to trust the code generation setup ...}
}