11 citations · 42 across the 12 of their papers we have counts for
4 papers · 1 filter
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao +6
It is quite challenging to ensure the safety of reinforcement learning (RL) agents in an unknown and stochastic environment under hard constraints that require the system state not…
A Tool for Neural Network Global Robustness Certification and Training
Zhilu Wang, Yixuan Wang, Feisi Fu +4
With the increment of interest in leveraging machine learning technology in safety-critical systems, the robustness of neural networks under external disturbance receives more and…
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding
Zhilu Wang, Chao Huang, Qi Zhu
The robustness of deep neural networks has received significant interest recently, especially when being deployed in safety-critical systems, as it is important to analyze how sens…
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Yixuan Wang, Simon Zhan, Zhilu Wang +4
In model-based reinforcement learning for safety-critical control systems, it is important to formally certify system properties (e.g., safety, stability) under the learned control…