( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Stochastic Models.

, , , , , , , , , , , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 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.

Abolfazl Adli

Abolfazl Dahbashi

Abolfazl Ghoreschi

Abolfazl Naini

Abolfazl Tavassolie

 

Другие публикации лиц с тем же именем

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