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

18 September 2019

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

2 / 2 papers shown

Title
A Survey on AI Assurance Feras A. Batarseh Laura J. Freeman 88 68 0 15 Nov 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 113 70 0 26 Jul 2021