Searched for: author%3A%22Frew%2C+Eric%22
(1 - 2 of 2)
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
document
Jackson, John (author), Laurenti, L. (author), Frew, Eric (author), Lahijanian, Morteza (author)
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (LTL) over finite traces (LTLf), which is as expressive as LTL and enables interpretations over finite behaviors. The framework first learns the unknown dynamics via...
conference paper 2021