( en | de | ru )

 

Disambiguation of "Lavaei, Abolfazl"

Author of the publication

copydeleteadd this publication to your clipboard
Robust Simulation Functions with Disturbance Refinement.

, , , and . ECC, page 1-6. IEEE, (2023)

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.

Abolfazl Dahbashi

Abolfazl Adli

Abolfazl Ghoreschi

Abolfazl Naini

Abolfazl Tavassolie

 

Other publications of authors with the same name

Optimal 3D trajectory generation in delivering missions under urban constraints for a flying robot., and . Intelligent Service Robotics, 10 (3): 241-256 (2017)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , and . IEEE Trans. Autom. Control., 65 (12): 5280-5295 (2020)Automated verification and synthesis of stochastic hybrid systems: A survey., , , and . Autom., (2022)Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach., , and . CoRR, (2019)Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems., , and . CoRR, (2019)Constructing MDP Abstractions Using Data with Formal Guarantees., , , and . CoRR, (2022)Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*., , and . CDC, page 7296-7301. IEEE, (2022)Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.. CDC, page 7994-7999. IEEE, (2023)Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions., and . CDC, page 2574-2579. IEEE, (2019)AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems., , , and . HSCC, page 31:1-31:2. ACM, (2020)