An optimized method towards formal verification of mixed signals using differential fed neural network over FFNN
International Journal of Power Electronics and Drive Systems/International Journal of Electrical and Computer Engineering