31 citations · 91 across the 9 of their papers we have counts for
1 paper · 1 filter
Rui Yan, Gabriel Santos, Gethin Norman +2
The increasing trend to integrate neural networks and conventional software components in safety-critical settings calls for methodologies for their formal modelling, verification…