@entry{gou-put-22-aa,
  author = {E Goubault and S Putot},
  title = {RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems},
  journal = {International Conference on Computer Aided ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-031-13185-1_25}}},
  quotes = {... of automatic differentiation and numerical evaluation by affine arithmetic, as described in eg [9]... a simple propagation of affine forms by affine arithmetic in the network: linear transformers ...}
}