( en | de | ru )

 

Disambiguation of "Zamani, Majid"

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.

Majid Zamani

Rahim Zamani

Abbas Zamani

Mohammad Zamani

Sigrid Zamani

 

Other publications of authors with the same name

Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems., and . CoRR, (2020)dtControl: Decision Tree Learning Algorithms for Controller Representation., , , , , and . CoRR, (2020)Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates., , and . IEEE Control. Syst. Lett., (2022)On Approximate Opacity of Cyber-Physical Systems., , and . IEEE Trans. Autom. Control., 66 (4): 1630-1645 (2021)Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach., , and . IEEE Trans. Autom. Control., 69 (1): 214-229 (January 2024)Automated verification and synthesis of stochastic hybrid systems: A survey., , , and . Autom., (2022)k-Inductive Barrier Certificates for Stochastic Systems., , , and . HSCC, page 12:1-12:11. ACM, (2022)Verification of Approximate Opacity via Barrier Certificates., and . ACC, page 764-769. IEEE, (2021)Verification of approximate infinite-step opacity using barrier certificates., , and . ECC, page 175-180. IEEE, (2022)Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case., , , and . ECC, page 1-4. IEEE, (2018)