4 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
cs.AI2018
Formal Verification of Neural Network Controlled Autonomous Systems
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
In this paper, we consider the problem of formally verifying the safety of an autonomous robot equipped with a Neural Network (NN) controller that processes LiDAR images to produce…