( en | de | ru )

 

Disambiguation of "Soudjani, Sadegh"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic Control for Stochastic Systems via Parity Games.

, , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sadegh Massarrat

Sadegh Mozayeny

Sadegh Sadeghipour

Sadegh Radjai

Sadegh Sarrinpaschneh

 

Other publications of authors with the same name

Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning., and . CoRR, (2020)Data-driven verification and synthesis of stochastic systems via barrier certificates., , , and . Autom., (January 2024)Compositional construction of infinite abstractions for networks of stochastic control systems., , and . Autom., (2019)Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach., , , and . IEEE Control. Syst. Lett., (2023)Robust Simulation Functions with Disturbance Refinement., , , and . ECC, page 1-6. IEEE, (2023)SySCoRe: Synthesis via Stochastic Coupling Relations., , , and . HSCC, page 13:1-13:11. ACM, (2023)Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems., , and . ECC, page 3212-3217. IEEE, (2019)Data-Driven Reachability Analysis of Digital Twin FMI Models., , , and . ISoLA (4), volume 13704 of Lecture Notes in Computer Science, page 139-158. Springer, (2022)Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems., , , and . CDC, page 7035-7042. IEEE, (2023)Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems., , , , , , and . CoRR, (2022)