activity
20202025
most citedData-driven verification and synthesis of stochastic systems via barrier certificates

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

eess.SY2020

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…