136 results on '"Yasser Shoukry"'
Search Results
2. DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation.
3. BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations.
4. PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities.
5. Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.
6. EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency.
7. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.
8. CertiFair: A Framework for Certified Global Fairness of Neural Networks.
9. Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis.
10. Model Extraction Attacks Against Reinforcement Learning Based Controllers.
11. SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge.
12. Passivity Tools for Hybrid Learning Rules in Large Populations.
13. Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers.
14. NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.
15. Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.
16. Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
17. NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems.
18. DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation.
19. PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.
20. Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.
21. Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.
22. PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.
23. AReN: assured ReLU NN architecture for model predictive control of LTI systems.
24. Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach.
25. Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.
26. Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption.
27. PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities.
28. CertiFair: A Framework for Certified Global Fairness of Neural Networks.
29. Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers.
30. Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.
31. VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT.
32. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic.
33. Formal verification of neural network controlled autonomous systems.
34. SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT.
35. DoS-Resilient Multi-Robot Temporal Logic Motion Planning.
36. Gordian: Formal Reasoning-based Outlier Detection for Secure Localization.
37. Current Leakage and Faradaic Efficiency Simulation of Proton-Conducting Solid Oxide Electrolysis Cells
38. Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study.
39. Sybil attack resilient traffic networks: a physics-based trust propagation approach.
40. A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network.
41. Assured Neural Network Architectures for Control and Identification of Nonlinear Systems.
42. Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
43. NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems.
44. Provably Correct Training of Neural Network Controllers Using Reachability Analysis.
45. Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.
46. Towards a socially responsible smart city: dynamic resource allocation for smarter community service.
47. SMC: Satisfiability Modulo Convex Optimization.
48. Closed-form controlled invariant sets for pedestrian avoidance.
49. PrOLoc: resilient localization with private observers using partial homomorphic encryption.
50. An SMT-based approach to secure state estimation under sensor and actuator attacks.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.