( en | de | ru )

 

Disambiguierung von "Lavaei, Abolfazl"

Autor der Publikation

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

, , , , , , , , , , , , , , , und . ARCH, Volume 74 von EPiC Series in Computing, Seite 76-106. EasyChair, (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.

Abolfazl Dahbashi

Abolfazl Adli

Abolfazl Ghoreschi

Abolfazl Naini

Abolfazl Tavassolie

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated verification and synthesis of stochastic hybrid systems: A survey., , , und . Autom., (2022)AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems., , , und . HSCC, Seite 31:1-31:2. ACM, (2020)Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions., und . CDC, Seite 2574-2579. IEEE, (2019)Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.. CDC, Seite 7994-7999. IEEE, (2023)Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*., , und . CDC, Seite 7296-7301. IEEE, (2022)Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning., , , , und . ICCPS, Seite 98-107. IEEE, (2020)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , und 6 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations., , , und . HSCC, Seite 25:1-25:2. ACM, (2022)Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees., , , , und . HSCC, Seite 27:1-27:2. ACM, (2022)