Radu Grosu

formal verification (2) neural network (2) convolutional neural network (2) receptive field (2) reinforcement learning (2) neural ordinary differential equation (2) reachability analysis (2) recurrent neural network (2) fault diagnosis (1) edge detection (1) anomaly detection (1) hierarchical dirichlet process (1) partially observable markov decision process (1) partially observable (1) network inference (1) transfer learning (1) hidden state (1) global optimization (1) dynamical system (1) time series prediction (1)