( en | de | ru )

 

Disambiguation of "Shoukry, Yasser"

Author of the publication

copydeleteadd this publication to your clipboard
SMC: Satisfiability Modulo Convex Programming.

, , , , , and . Proc. IEEE, 106 (9): 1655-1679 (2018)

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.

Yasser Abdalla

Yasser Talab

Yasser Alharbi

Yasser Assem

Yasser Abdelrehim

 

Other publications of authors with the same name

AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems., and . CoRR, (2019)Event-Triggered State Observers for Sparse Sensor Noise/Attacks., and . CoRR, (2013)MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems., , and . IEEE Embed. Syst. Lett., 2 (2): 31-34 (2010)BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic., , , and . CoRR, (2022)Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption., , , , , and . IEEE Trans. Autom. Control., 66 (5): 2357-2364 (2021)Assured Neural Network Architectures for Control and Identification of Nonlinear Systems., and . CoRR, (2021)BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic., , , and . HSCC, page 19:1-19:11. ACM, (2023)AReN: assured ReLU NN architecture for model predictive control of LTI systems., and . HSCC, page 6:1-6:11. ACM, (2020)Formal Verification of Neural Network Controlled Autonomous Systems., , and . CoRR, (2018)Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks., , , , and . CoRR, (2016)