Yasser Shoukry

収録論文 10本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
  2026/2/1
• Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models
  2026/1/1
• Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
  2025/1/1
• Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis
  2023/9/1
• EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
  2023/2/1
• Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
  2022/10/1
• Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach
  2021/9/1
• Provably Correct Training of Neural Network Controllers Using Reachability Analysis
  2021/2/1
• ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
  2020/6/1
• Formal Verification of Neural Network Controlled Autonomous Systems
  2018/10/1