235 citations · 346 across the 15 of their papers we have counts for
1 paper · 1 filter
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…