Radu Grosu

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