13 citations · 19 across the 9 of their papers we have counts for
1 paper · 1 filter
Tonicha Crook, Jay Morgan, Arno Pauly +1
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what veri…