( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.

, , и . ECC, стр. 3212-3217. IEEE, (2019)

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.

Sadegh Massarrat

Sadegh Sadeghipour

Sadegh Mozayeny

Sadegh Radjai

Sadegh Farhumand

 

Другие публикации лиц с тем же именем

Symbolic controller synthesis for Büchi specifications on stochastic systems., , и . HSCC, стр. 14:1-14:11. ACM, (2020)Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach., , и . QEST, том 11024 из Lecture Notes in Computer Science, стр. 389-406. Springer, (2018)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , и . CoRR, (2019)Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems., , и . Eur. J. Control, (2021)Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach., , , , и . IEEE Trans. Autom. Control., 68 (5): 3011-3024 (мая 2023)Bayesian Approach to Temporal Logic Control of Uncertain Systems., , , и . CoRR, (2023)Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey., , , и . CoRR, (2021)Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations., , и . CoRR, (2019)Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks., , и . CoRR, (2023)Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness., , , , и . CoRR, (2022)