@misc{indiciae8bbbbb7e0313,
  title = {Certified Control for Train Sign Classification},
  author = {Jan Roßbach and Michael Leuschel},
  year = {2023},
  doi = {10.4204/eptcs.395.5},
  url = {https://arxiv.org/abs/2311.09778},
  note = {Source identifier: 2311.09778}
}