Picture for Yasser Shoukry

Yasser Shoukry

Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis

Add code
Sep 10, 2023
Figure 1 for Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Figure 2 for Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Figure 3 for Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Figure 4 for Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
Viaarxiv icon

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation

Add code
May 22, 2023
Figure 1 for DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Figure 2 for DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Figure 3 for DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Figure 4 for DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
Viaarxiv icon

Model Extraction Attacks Against Reinforcement Learning Based Controllers

Add code
Apr 25, 2023
Figure 1 for Model Extraction Attacks Against Reinforcement Learning Based Controllers
Figure 2 for Model Extraction Attacks Against Reinforcement Learning Based Controllers
Figure 3 for Model Extraction Attacks Against Reinforcement Learning Based Controllers
Figure 4 for Model Extraction Attacks Against Reinforcement Learning Based Controllers
Viaarxiv icon

SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge

Add code
Feb 24, 2023
Figure 1 for SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Figure 2 for SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Figure 3 for SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Figure 4 for SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
Viaarxiv icon

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency

Add code
Feb 13, 2023
Figure 1 for EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
Figure 2 for EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
Figure 3 for EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
Figure 4 for EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
Viaarxiv icon

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

Add code
Nov 22, 2022
Figure 1 for BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Figure 2 for BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Figure 3 for BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Figure 4 for BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
Viaarxiv icon

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks

Add code
Oct 11, 2022
Figure 1 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 2 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 3 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Figure 4 for Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
Viaarxiv icon

Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers

Add code
Sep 20, 2022
Figure 1 for Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
Figure 2 for Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
Figure 3 for Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
Figure 4 for Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers
Viaarxiv icon

CertiFair: A Framework for Certified Global Fairness of Neural Networks

Add code
May 20, 2022
Figure 1 for CertiFair: A Framework for Certified Global Fairness of Neural Networks
Figure 2 for CertiFair: A Framework for Certified Global Fairness of Neural Networks
Figure 3 for CertiFair: A Framework for Certified Global Fairness of Neural Networks
Figure 4 for CertiFair: A Framework for Certified Global Fairness of Neural Networks
Viaarxiv icon

NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing

Add code
Mar 29, 2022
Figure 1 for NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Figure 2 for NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Figure 3 for NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Figure 4 for NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing
Viaarxiv icon