collaborators

1 paper

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…