( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions.

, , , и . CDC, стр. 60-66. 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.

Sami Amr

Amr Allam

Amr Abdelaziz

Amr Hamzawy

Amr Kassem

 

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

Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes., , , и . CoRR, (2022)Privacy-preserving set-based estimation using partially homomorphic encryption., , , , , , и . Eur. J. Control, (2023)Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics., , и . ECC, стр. 888-893. IEEE, (2022)Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis., , , и . CoRR, (2024)Realizing Uncertainty-Aware Timing Stack in Embedded Operating System., , , и . CoRR, (2018)Data-Driven Reachability Analysis From Noisy Data., , , и . IEEE Trans. Autom. Control., 68 (5): 3054-3069 (мая 2023)Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees., , , и . CoRR, (2021)Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions., , , и . CDC, стр. 60-66. IEEE, (2023)Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption., , , , , и . ECC, стр. 98-105. IEEE, (2022)Data-Driven Reachability Analysis Using Matrix Zonotopes., , , и . L4DC, том 144 из Proceedings of Machine Learning Research, стр. 163-175. PMLR, (2021)