collaborators

1 paper

eess.SY2023

Formal Abstraction of General Stochastic Systems via Noise Partitioning

John Skovbekk, Luca Laurenti, Eric Frew +1

Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonli…