( en | de | ru )

 

Disambiguierung von "Soudjani, Sadegh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic controller synthesis for Büchi specifications on stochastic systems.

, , und . HSCC, Seite 14:1-14:11. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sadegh Massarrat

Sadegh Mozayeny

Sadegh Sadeghipour

Sadegh Radjai

Sadegh Atashfaraz

 

Weitere Publikationen von Autoren mit dem selben Namen

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