Bai Xue

106 papers A* 3A 2B 3C 7Misc 3Journal 66Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Converse barrier certificates for finite-time safety verification of continuous-time perturbed deterministic systems.
Syst. Control. Lett.
Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
2026 A* conf
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
AAAI
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2026 J jnl
PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions.
CoRR
Taoran Wu, Dominik Wagner, C.-H. Luke Ong, Bai Xue
2025 J jnl
Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems.
IEEE Trans. Autom. Control.
Shuyuan Zhang, Lei Wang, Bai Xue, Qing-Guo Wang
2025 J jnl
BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks.
Neural Networks
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Wanrong Huang
2025 J jnl
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems.
CoRR
Zhipeng Cao, Peixin Wang, Luke Ong, Dorde Zikelic, Dominik Wagner, Bai Xue
2025 J jnl
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization.
CoRR
Taoran Wu, Yiling Xue, Dejin Ren, Arvind Easwaran, Martin Fränzle, Bai Xue
2025 J jnl
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems.
CoRR
Taoran Wu, Yiling Xue, Jingduo Pan, Dejin Ren, Arvind Easwaran, Bai Xue
2025 J jnl
Efficient Verification and Falsification of ReLU Neural Barrier Certificates.
CoRR
Dejin Ren, Yiling Xue, Taoran Wu, Bai Xue
2025 J jnl
Finite-time safety and reach-avoid verification of stochastic discrete-time systems.
Inf. Comput.
Bai Xue
2025 J jnl
Formal Modeling and Synthesis of Longitudinal Dynamics Controller for Train Platoons.
IEEE Trans. Intell. Transp. Syst.
Wanli Lu, Jidong Lv, Bai Xue, Zhengwei Luo
2025 J jnl
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems.
CoRR
Taoran Wu, Dominik Wagner, Jingduo Pan, Luke Ong, Arvind Easwaran, Bai Xue
2025 J jnl
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems.
CoRR
Bai Xue, Luke Ong, Dominik Wagner, Peixin Wang
2025 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
ACM Trans. Program. Lang. Syst.
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2025 B conf
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
IJCNN
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024 J jnl
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems.
CoRR
Taoran Wu, Yiqing Yu, Bican Xia, Ji Wang, Bai Xue
2024 C conf
An Iterative Method for Computing Controlled Reach-Avoid Sets.
ACC
Dejin Ren, Taoran Wu, Bai Xue
2024 J jnl
Bipartite Consensus for Nonlinear Networked Systems Based on General Lyapunov Functions.
IEEE Trans. Control. Netw. Syst.
Shuyuan Zhang, Lei Wang, Bai Xue, Kexin Liu, Wei Wang
2024 J jnl
Consensus Criterion Verification for Heterogeneous Multiagent Systems via Sum-of-Squares Programming.
IEEE Trans. Autom. Control.
Shuyuan Zhang, Lei Wang, Bai Xue, Deyuan Meng, Qing-Guo Wang
2024 J jnl
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems.
CoRR
Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue
2024 J jnl
Credit assignment for trained neural networks based on Koopman operator theory.
Frontiers Comput. Sci.
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
2024 — conf
Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.
CAV (3)
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 J jnl
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis.
CoRR
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024 — conf
PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python.
FM (2)
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2024 J jnl
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks.
J. Comput. Sci. Technol.
Zhen Liang, Wan-Wei Liu, Fu Song, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2024 J jnl
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations.
IEEE Trans. Autom. Control.
Bai Xue, Naijun Zhan, Martin Fränzle
2024 C conf
Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties.
ACC
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2024 J jnl
Reach-Avoid Controllers Synthesis for Safety Critical Systems.
IEEE Trans. Autom. Control.
Bai Xue
2024 J jnl
Reach-Avoid Verification Based on Convex Optimization.
IEEE Trans. Autom. Control.
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2024 J jnl
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
CoRR
Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
2024 J jnl
Verifying safety of neural networks from topological perspectives.
Sci. Comput. Program.
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2023 A conf
A Geometrical Characterization on Feature Density of Image Datasets.
ICME
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang
2023 J jnl
Consensus verification for heterogeneous polynomial networked systems.
J. Frankl. Inst.
Shuyuan Zhang, Lei Wang, Bai Xue, Chanying Li, Qing-Guo Wang
2023 J jnl
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR
Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan
2023 J jnl
Inner Approximating Robust Reach-Avoid Sets for Discrete-Time Polynomial Dynamical Systems.
IEEE Trans. Autom. Control.
Changyuan Zhao, Shuyuan Zhang, Lei Wang, Bai Xue
2023 A* conf
Model Predictive Control with Reach-avoid Analysis.
IJCAI
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
2023 J jnl
Model Predictive Control with Reach-avoid Analysis.
CoRR
Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue
2023 J jnl
Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets.
CoRR
Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
2023 J jnl
Reach-avoid Analysis for Sampled-data Systems with Measurement Uncertainties.
CoRR
Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
2023 J jnl
Repairing Deep Neural Networks Based on Behavior Imitation.
CoRR
Zhen Liang, Taoran Wu, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang
2023 — conf
Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems.
CDC
Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang, Bai Xue
2023 Misc conf
Safety Verification for Neural Networks Based on Set-Boundary Analysis.
TASE
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2023 — conf
Scenario Approach for Parametric Markov Models.
ATVA (1)
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
2023 J jnl
Scenario Approach for Parametric Markov Models.
CoRR
Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
2023 J jnl
Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming.
IEEE Control. Syst. Lett.
Shuyuan Zhang, Shizhong Song, Lei Wang, Bai Xue
2023 J jnl
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.
CoRR
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2023 J jnl
Towards robust neural networks via a global and monotonically decreasing robustness training strategy.
Frontiers Inf. Technol. Electron. Eng.
Zhen Liang, Taoran Wu, Wanwei Liu, Bai Xue, Wenjing Yang, Ji Wang, Zhengbin Pang
2023 J jnl
Verifying Safety of Neural Networks from Topological Perspectives.
CoRR
Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
2022 J jnl
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory.
CoRR
Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang
2022 C conf
Differential Games Based on Invariant Sets Generation.
ACC
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng
2022 J jnl
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming.
Inf. Comput.
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022 J jnl
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2022 — conf
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems.
CDC
Changyuan Zhao, Chuchu Fan, Bai Xue
2022 J jnl
Reach-Avoid Analysis for Stochastic Differential Equations.
CoRR
Bai Xue, Naijun Zhan, Martin Fränzle
2022 J jnl
Reach-avoid Verification Based on Convex Optimization.
CoRR
Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu
2022 J jnl
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems.
IEEE Trans. Autom. Control.
Bai Xue, Naijun Zhan
2022 J jnl
Safety Verification for Neural Networks Based on Set-boundary Analysis.
CoRR
Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
2022 A* conf
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
ICSE
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang
2021 A conf
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
RTAS
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
2021 J jnl
Consensus Control for Heterogeneous Multivehicle Systems: An Iterative Learning Approach.
IEEE Trans. Neural Networks Learn. Syst.
Shuyuan Zhang, Lei Wang, Haihui Wang, Bai Xue
2021 J jnl
Ensemble Defense with Data Diversity: Weak Correlation Implies Strong Robustness.
CoRR
Renjue Li, Hanwei Zhang, Pengfei Yang, Cheng-Chao Huang, Aimin Zhou, Bai Xue, Lijun Zhang
2021 — conf
Improving Neural Network Verification through Spurious Region Guided Refinement.
TACAS (1)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2021 J jnl
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations.
IEEE Trans. Autom. Control.
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
2021 J jnl
Probabilistic Robustness Analysis for DNNs based on PAC Learning.
CoRR
Renjue Li, Pengfei Yang, Cheng-Chao Huang, Bai Xue, Lijun Zhang
2021 — conf
Reach-Avoid Analysis for Delay Differential Equations.
CDC
Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao
2021 C conf
Reach-avoid Analysis for Stochastic Discrete-time Systems.
ACC
Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle
2021 J jnl
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations.
CoRR
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2021 — conf
Switching controller synthesis for delay hybrid systems under perturbations.
HSCC
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
2021 — conf
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CAV (1)
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.
CoRR
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen
2021 J jnl
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
SIAM J. Control. Optim.
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2020 J jnl
Improving Neural Network Verification through Spurious Region Guided Refinement.
CoRR
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2020 J jnl
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties.
IEEE Trans. Autom. Control.
Bai Xue, Martin Fränzle, Naijun Zhan
2020 — conf
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems.
CDC
Bai Xue, Naijun Zhan, Martin Fränzle
2020 — conf
Nonlinear Craig Interpolant Generation.
CAV (1)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
2020 C conf
PAC Learning of Deterministic One-Clock Timed Automata.
ICFEM
Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan
2020 J jnl
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
CoRR
Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2020 J jnl
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2020 — conf
PRODeep: a platform for robustness verification of deep neural networks.
ESEC/SIGSOFT FSE
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
2020 Misc conf
Probably Approximately Correct Interpolants Generation.
SETTA
Bai Xue, Naijun Zhan
2020 J jnl
Safety Verification for Random Ordinary Differential Equations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia
2020 — conf
Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
CAV (2)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2019 J jnl
Nonlinear Craig Interpolant Generation.
CoRR
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan
2019 C conf
Probably Approximate Safety Verification of Hybrid Dynamical Systems.
ICFEM
Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran
2019 — conf
Robust invariant sets generation for state-constrained perturbed polynomial systems.
HSCC
Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle
2019 J jnl
Synthesizing More Expressive Invariants by Semidefinite Programming.
CoRR
Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
2019 — conf
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations.
CAV (1)
Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue
2018 J jnl
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations.
CoRR
Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan
2018 J jnl
Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems.
CoRR
Bai Xue, Naijun Zhan
2018 Misc conf
Robust Non-termination Analysis of Numerical Software.
SETTA
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
2018 — conf
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
FORMATS
Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue
2018 J jnl
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems.
CoRR
Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She
2018 — conf
Under-Approximating Reach Sets for Polynomial Continuous Systems.
HSCC
Bai Xue, Martin Fränzle, Naijun Zhan
2017 — conf
Just scratching the surface: Partial exploration of initial values in reach-set computation.
CDC
Bai Xue, Martin Fränzle, Peter Nazier Mosaad
2017 J jnl
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.
Sci. Ann. Comput. Sci.
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
2017 J jnl
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.
IEEE Trans. Autom. Control.
Bai Xue, Arvind Easwaran, Nam-Joon Cho, Martin Fränzle
2017 — conf
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
FORMATS
Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan
2017 J jnl
Underapproximating Backward Reachable Sets by Semialgebraic Sets.
IEEE Trans. Autom. Control.
Bai Xue, Zhikun She, Arvind Easwaran
2016 C conf
Temporal Logic Verification for Delay Differential Equations.
ICTAC
Peter Nazier Mosaad, Martin Fränzle, Bai Xue
2016 — conf
Under-Approximating Backward Reachable Sets by Polytopes.
CAV (1)
Bai Xue, Zhikun She, Arvind Easwaran
2015 — conf
Discovering multiple Lyapunov functions for switched hybrid systems with global exponential stability.
CDC
Junjie Lu, Zhikun She, Bai Xue
2014 J jnl
Discovering Multiple Lyapunov Functions for Switched Hybrid Systems.
SIAM J. Control. Optim.
Zhikun She, Bai Xue
2013 J jnl
Discovering polynomial Lyapunov functions for continuous dynamical systems.
J. Symb. Comput.
Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng, Bican Xia
2012 — conf
Algebraic analysis on asymptotic stability of switched hybrid systems.
HSCC
Zhikun She, Bai Xue
2011 B conf
Algebraic analysis on asymptotic stability of continuous dynamical systems.
ISSAC
Zhikun She, Bai Xue, Zhiming Zheng
2011 B conf
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems.
CASC
Zhikun She, Bai Xue