( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture.

, , , и . CoRR, (2022)

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.

Majid Zamani

Rahim Zamani

Abbas Zamani

Mohammad Zamani

Sigrid Zamani

 

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

On Approximate Opacity of Cyber-Physical Systems., , и . IEEE Trans. Autom. Control., 66 (4): 1630-1645 (2021)Invariance Feedback Entropy of Uncertain Control Systems., , и . IEEE Trans. Autom. Control., 66 (12): 5680-5695 (2021)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , и . IEEE Trans. Autom. Control., 65 (12): 5280-5295 (2020)Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach., , и . IEEE Trans. Autom. Control., 69 (1): 214-229 (января 2024)Automated verification and synthesis of stochastic hybrid systems: A survey., , , и . Autom., (2022)Towards More Efficient DNN-Based Speech Enhancement Using Quantized Correlation Mask., , и . IEEE Access, (2021)A Compact CNN-Based Speech Enhancement With Adaptive Filter Design Using Gabor Function and Region-Aware Convolution., , и . IEEE Access, (2022)Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems., и . IEEE Control. Syst. Lett., 4 (4): 827-832 (2020)Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning., и . IEEE Control. Syst. Lett., (2023)A Scenario Approach for Synthesizing k-Inductive Barrier Certificates., , и . IEEE Control. Syst. Lett., (2022)