1 paper
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…