Safety Verification of Stochastic Systems: A Repetitive Scenario Approach

Ali Salamati, Majid Zamani. Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. IEEE Control Systems Letters, 7:448-453, 2023. [doi]

Abstract

Abstract is missing.