1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
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…
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…
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani
We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We expres…