Paper-Conference

Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems

Y. Meng, J. Liu

Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems

Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions

Y. Meng, J. Liu

Safety-Critical Control of Stochastic Systems using Stochastic Control Barrier Functions

Equal Contribution

C. Wang, Y. Meng, S.L. Smith, J. Liu

Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model

Y. Meng, Y. Li, J. Liu

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control

C. Wang, Y. Meng, Y, Li, S.L. Smith, J. Liu