Search Results for author:
Found 1 papers, 0 papers with code
Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
