Yasser Shoukry

1. NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
   2022/03/29 by Ulices Santa Cruz, Cruz, Ulices Santa, Yasser Shoukry +1 · 5 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Formal Verification of Neural Network Controlled Autonomous Systems
   2018/10/31 by Xiaowu Sun, Sun, Xiaowu, Haitham Khedr +3 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning and Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Secure State Estimation: Optimal Guarantees against Sensor Attacks in\n the Presence of Noise
   2015/04/21 by Shaunak Mishra, Yasser Shoukry, Mishra, Shaunak +7 · 1 citation
   Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Information Theory (cs.IT) #Optimization and Control (math.OC) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
4. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
   2022/11/22 by Wael Fatnassi, Haitham Khedr, Fatnassi, Wael +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
5. Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
   2023/09/10 by Ulices Santa Cruz Leal, Leal, Ulices Santa Cruz, Yasser Shoukry +1 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Object Detection Techniques #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
   2020/06/16 by James Ferlez, Ferlez, James, Mahmoud Elnaggar +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and ELM #Network Security and Intrusion Detection #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
7. DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
   2023/05/22 by Haitham Khedr, Yasser Shoukry, Khedr, Haitham +1 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
8. Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
   2022/10/11 by Xiaowu Sun, Sun, Xiaowu, Yasser Shoukry +1 · 1 citation
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering