137 citations · 510 across the 88 of their papers we have counts for
Showing 2017 · cs.LGShow all
2 papers · 2 filters
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…
cs.LG2017★ 36 cited
An Automated Auto-encoder Correlation-based Health-Monitoring and Prognostic Method for Machine Bearings
Ramin M. Hasani, Guodong Wang, Radu Grosu
This paper studies an intelligent ultimate technique for health-monitoring and prognostic of common rotary machine components, particularly bearings. During a run-to-failure experi…