Showing cs.LGShow all
2 papers · 1 filter
cs.LG2018
Neural State Classification for Hybrid Systems
Dung Phan, Nicola Paoletti, Timothy Zhang +3
We introduce the State Classification Problem (SCP) for hybrid systems, and present Neural State Classification (NSC) as an efficient solution technique. SCP generalizes the model…
cs.LG2017
How to Learn a Model Checker
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…