Salamati, Ali

1. Data-driven verification and synthesis of stochastic systems via barrier certificates
   2021/11/19 by Salamati, Ali, Lavaei, Abolfazl, Soudjani, Sadegh +1 · 8 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Data-Driven Verification under Signal Temporal Logic Constraints
   2020/05/08 by Salamati, Ali, Soudjani, Sadegh, Zamani, Majid · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering