( en | de | ru )

 

Disambiguation of "Lavaei, Abolfazl"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP20 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 76-106. EasyChair, (2020)

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 Adli

Abolfazl Dahbashi

Abolfazl Ghoreschi

Abolfazl Naini

Abolfazl Tavassolie

 

Other publications of authors with the same name

Automated verification and synthesis of stochastic hybrid systems: A survey., , , and . Autom., (2022)Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*., , and . CDC, page 7296-7301. IEEE, (2022)Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions., and . CDC, page 2574-2579. IEEE, (2019)Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.. CDC, page 7994-7999. IEEE, (2023)AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems., , , and . HSCC, page 31:1-31:2. ACM, (2020)Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning., , , , and . ICCPS, page 98-107. IEEE, (2020)Compositional Safety Verification of Infinite Networks: A Data-Driven Approach., , , and . ECC, page 545-551. IEEE, (2024)Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach., , , and . HSCC, page 28:1-28:2. ACM, (2021)Compositional finite abstractions for large-scale stochastic switched systems., and . SNR, page 3-5. ACM, (2019)AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems., , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 461-474. Springer, (2020)