Login / Signup
Xiaochao Tang
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Fuzzy Controller
Controller Synthesis
Lyapunov Function
Nonlinear Systems
Top Venues
CAV (1)
TASE
AAAI
</>
Publications
</>
Zhengfeng Yang
,
Li Zhang
,
Xia Zeng
,
Xiaochao Tang
,
Chao Peng
,
Zhenbing Zeng
Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints.
CAV (1)
(2023)
Xia Zeng
,
Zhengfeng Yang
,
Li Zhang
,
Xiaochao Tang
,
Zhenbing Zeng
,
Zhiming Liu
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.
AAAI
(2023)
Xiaochao Tang
,
Zhengfeng Yang
,
Xuanming Fu
,
Jianlin Wang
,
Zhenbing Zeng
Improving Adversarial Robustness of Deep Neural Networks via Linear Programming.
TASE
(2022)
Zhengfeng Yang
,
Yidan Zhang
,
Wang Lin
,
Xia Zeng
,
Xiaochao Tang
,
Zhenbing Zeng
,
Zhiming Liu
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.
CAV (1)
(2021)