Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

30 July 2019

Papers citing "Incremental Bounded Model Checking of Artificial Neural Networks in CUDA"

1 / 1 papers shown

Title
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