17 citations · 21 across the 5 of their papers we have counts for
3 papers · 1 filter
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
Saddek Bensalem, Chih-Hong Cheng, Wei Huang +3
Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it…
Towards Rigorous Design of OoD Detectors
Chih-Hong Cheng, Changshun Wu, Harald Ruess +1
Out-of-distribution (OoD) detection techniques are instrumental for safety-related neural networks. We are arguing, however, that current performance-oriented OoD detection techniq…
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Changshun Wu, Yliès Falcone, Saddek Bensalem
Classification neural networks fail to detect inputs that do not fall inside the classes they have been trained for. Runtime monitoring techniques on the neuron activation pattern…