Yiqing Yu, Taoran Wu, Bican Xia, Ji Wang 0001, Bai Xue 0001. Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 5804-5811, IEEE, 2023. [doi]
Abstract is missing.