 | Up a level |
Number of items: 2.
Berthier, Nicolas, Alshareef, Amany, Sharp, James, Schewe, Sven 
ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366
(2021)
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian
Approximation of Hidden Features.
[Preprint]
Alshareef, Amany
(2023)
A Semantic Testing Approach for Deep Neural Networks Using Bayesian Network Abstraction.
Doctor of Philosophy thesis, University of Liverpool.