Covariate shift may impact the operational safety performance of neural
...
Out-of-distribution (OoD) detection techniques are instrumental for
safe...
Cyberlogic is an enabling logical foundation for building and analyzing
...
A new generation of increasingly autonomous and self-learning systems, w...
The ISO 21434 is a new standard that has been proposed to address the fu...
By exploiting the increasing surface attack of systems, cyber-attacks ca...
We study the problem of formal verification of Binarized Neural Networks...
We study the problem of formal verification of Binarized Neural Networks...
We propose a methodology for designing dependable Artificial Neural Netw...
The deployment of Artificial Neural Networks (ANNs) in safety-critical
a...