PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Soudjani, Sadegh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ARCH-COMP18 Category Report: Stochastic Modelling.

, , , , , , , , , , und . ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)

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.

Keine Personen gefunden für den Autorennamen Soudjani, Sadegh
Eine Person hinzufügen mit dem Namen Soudjani, Sadegh
 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Synthesis of Stochastic Systems via Control Barrier Certificates., , und . CoRR, (2019)Compositional construction of infinite abstractions for networks of stochastic control systems., , und . Automatica, (2019)Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems., , und . NSV@CAV, Volume 11652 von Lecture Notes in Computer Science, Seite 101-109. Springer, (2019)Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems., , und . ECC, Seite 3212-3217. IEEE, (2019)Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs., , und . HSCC, Seite 273-274. ACM, (2018)ARCH-COMP18 Category Report: Stochastic Modelling., , , , , , , , , und 1 andere Autor(en). ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs., , und . CoRR, (2019)Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations., , und . CoRR, (2019)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)Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach., , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 265-270. Elsevier, (2018)