92 citations · 103 across the 11 of their papers we have counts for
1 paper · 1 filter
Dung Phan, Radu Grosu, Nicola Paoletti +2
We show how machine-learning techniques, particularly neural networks, offer a very effective and highly efficient solution to the approximate model-checking problem for continuous…