@misc{indiciaebb0b0b92331e,
  title = {Certification of embedded systems based on Machine Learning: A survey},
  author = {Guillaume Vidot and Christophe Gabreau and Ileana Ober and Iulian Ober},
  year = {2021},
  url = {https://arxiv.org/abs/2106.07221},
  note = {Source identifier: 2106.07221}
}