1 citations · 1 across the 3 of their papers we have counts for
4 papers
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
Swantje Plambeck, Ali Salamati, Eyke Huellermeier +1
Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and man…
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…