I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems.
Mithila SivakumarAlvine Boaye BelleKimya Khakzad ShahandashtiOluwafemi OduHadi HemmatiSegla KpodjedoSong WangOpeyemi O. AdesinaPublished in: CoRR (2024)