- document
-
Skovbekk, John (author), Laurenti, L. (author), Frew, Eric (author), Lahijanian, Morteza (author)Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonlinear stochastic systems with nonstandard (e.g., non-affine, non-symmetric, non-unimodal) noise distributions for verification purposes. The method uses a finite...journal article 2023