W.J. Koops

1. Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
   2024/06/02 by Thom Badings, W.J. Koops, Badings, Thom +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering