Cited By
View all- Xue BZhan NFränzle M(2024)Reach-Avoid Analysis for Polynomial Stochastic Differential EquationsIEEE Transactions on Automatic Control10.1109/TAC.2023.333257069:3(1882-1889)Online publication date: Mar-2024
- Cosner RCulbertson PAmes A(2024)Bounding Stochastic Safety: Leveraging Freedman’s Inequality With Discrete-Time Control Barrier FunctionsIEEE Control Systems Letters10.1109/LCSYS.2024.34091058(1937-1942)Online publication date: 2024
- Li ZCao ZXing C(2024)Performance modeling and quantitative evaluation for cyber-physical systems based on LTSThe Journal of Supercomputing10.1007/s11227-023-05669-380:4(5616-5653)Online publication date: 1-Mar-2024
- Show More Cited By