1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Vahid Hashemi, Jan Křetínsky, Sabine Rieder +1
Runtime monitoring provides a more realistic and applicable alternative to verification in the setting of real neural networks used in industry. It is particularly useful for detec…