PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Soudjani, Sadegh"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.

, , and . CoRR, (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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Soudjani, Sadegh
add a person with the name Soudjani, Sadegh
 

Other publications of authors with the same name

Compositional construction of infinite abstractions for networks of stochastic control systems., , and . Automatica, (2019)Formal Synthesis of Stochastic Systems via Control Barrier Certificates., , and . CoRR, (2019)Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems., , and . NSV@CAV, volume 11652 of Lecture Notes in Computer Science, page 101-109. Springer, (2019)Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs., , and . HSCC, page 273-274. ACM, (2018)Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems., , and . ECC, page 3212-3217. IEEE, (2019)ARCH-COMP18 Category Report: Stochastic Modelling., , , , , , , , , and 1 other author(s). ARCH@ADHS, volume 54 of EPiC Series in Computing, page 71-103. EasyChair, (2018)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , and . CoRR, (2019)Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations., , and . CoRR, (2019)Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach., , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 389-406. Springer, (2018)Temporal Logic Verification of Stochastic Systems Using Barrier Certificates., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 177-193. Springer, (2018)