@entry{gou-put-17-aa,
  author = {E Goubault and S Putot},
  title = {Forward inner-approximated reachability of non-linear continuous systems},
  journal = {Proceedings of the 20th international conference ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/3049797.3049811?casa_token=cszOes_XZ7MAAAAA:uC5gzwWEvW71-qjN58bL9aglamwO41Gk84GaQb3cyfq-g4nKRBjnjD56EO4McABjQJoHxSDR1wU}}},
  quotes = {... The symbolic information included in our model when we evaluate the Taylor models with}
}