no code implementations • 30 Apr 2024 • Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric Frew, Luca Laurenti, Morteza Lahijanian
This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates.
no code implementations • 19 Sep 2023 • John Skovbekk, Luca Laurenti, Eric Frew, Morteza Lahijanian
We introduce a general procedure for the finite abstraction of nonlinear stochastic systems with non-standard (e. g., non-affine, non-symmetric, non-unimodal) noise distributions for verification purposes.