Adams, Steven

1. Formal Control Synthesis for Stochastic Neural Network Dynamic Models
   2022/03/11 by Adams, Steven, Lahijanian, Morteza, Laurenti, Luca · 4 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
   2024/07/26 by Steven Adams, Patanè, Adams, Steven +5 · 3 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications