( en | de | ru )

 

Disambiguierung von "Lavaei, Abolfazl"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Data-Driven Synthesis of Symbolic Abstractions With Guaranteed Confidence.

, und . IEEE Control. Syst. Lett., (2023)

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

Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot., und . Intelligent Service Robotics, 10 (3): 241-256 (2017)Automated verification and synthesis of stochastic hybrid systems: A survey., , , und . Autom., (2022)Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach., , und . CoRR, (2019)Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems., , und . CoRR, (2019)Constructing MDP Abstractions Using Data with Formal Guarantees., , , und . CoRR, (2022)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , und . IEEE Trans. Autom. Control., 65 (12): 5280-5295 (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)AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems., , , und . HSCC, Seite 31:1-31:2. ACM, (2020)