4 citations · 4 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
Xiaowu Sun, Yasser Shoukry
In this paper, we introduce NNSynth, a new framework that uses machine learning techniques to guide the design of abstraction-based controllers with correctness guarantees. NNSynth…
eess.SY2021★ 4 cited
Provably Correct Training of Neural Network Controllers Using Reachability Analysis
Xiaowu Sun, Yasser Shoukry
In this paper, we consider the problem of training neural network (NN) controllers for nonlinear dynamical systems that are guaranteed to satisfy safety and liveness (e.g., reach-a…