1 citations · 1 across the 3 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is…
eess.SY2021★ 1 cited
Data-driven verification and synthesis of stochastic systems via barrier certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1
In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier…