Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks

Sep-23-2019, 00:56:46 GMT–#artificialintelligence

[no summary]

#artificialintelligence

Sep-23-2019, 00:56:46 GMT

Genre:
- Research Report (0.40)

Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.77)