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

Hao Ren, Sai Krishnan Chandrasekar, Anitha Murugesan

Advances in the field of Machine Learning and Deep Neural Networks (DNNs) has enabled rapid development of sophisticated and autonomous systems. However, the inherent complexity to…