activity
20212026
most citedFinite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

eess.SY2022

Formal Control Synthesis for Stochastic Neural Network Dynamic Models

Steven Adams, Morteza Lahijanian, Luca Laurenti

Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components. Due to complexity of NNs, howeve…