Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Sadegh Soudjani

Data-Driven Verification under Signal Temporal Logic Constraints


May 08, 2020
Ali Salamati, Sadegh Soudjani, Majid Zamani


  Access Paper or Ask Questions

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning


May 04, 2020
Milad Kazemi, Sadegh Soudjani

* 17 pages, 5 figures 

  Access Paper or Ask Questions

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning


Mar 02, 2020
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani

* This work is accepted at the 11th ACM/IEEE Conference on Cyber-Physical Systems (ICCPS) 

  Access Paper or Ask Questions

Perception-in-the-Loop Adversarial Examples


Jan 21, 2019
Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar

* 13 pages, 13 figures, 6 tables 

  Access Paper or Ask Questions