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

Y. Meng, J. Liu
February, 2024
PDF Cite Project DOI
Type
Journal article
Publication
IEEE Transitions on Automatic Control