Yasser Shoukry

University of California, Los Angeles, University of Maryland, College Park, University of California, Berkeley, University of California, Irvine, Ain Shams University

论文数

14

总引用数

500

H-Index

8

关于

暂无简介。

研究焦点

Computer science14 · 500 次引用
Mathematics8 · 323 次引用
Satisfiability5 · 308 次引用
Artificial intelligence10 · 261 次引用
Robot8 · 255 次引用
Algorithm8 · 208 次引用
Mathematical optimization5 · 179 次引用
Workspace3 · 177 次引用
Trajectory2 · 169 次引用
Engineering4 · 168 次引用
Artificial neural network5 · 160 次引用
Embedded system2 · 156 次引用

主要成就

8
H 指数
14
论文
500
总引用数
36
篇均引用
🏆 最高被引论文
PyCRA
141 次引用 · 2015
📈 最高产年份: 2019 (2 论文)
🤝 主要合作者: 26
🏛 所属机构: University of California, Los Angeles, University of Maryland, College Park, University of California, Berkeley, University of California, Irvine, Ain Shams University

代表论文

  1. 1
    PyCRA
    141 次引用 · 2015
  2. 2
    Formal verification of neural network controlled autonomous systems
    137 次引用 · 2019
  3. 3
    SMC: Satisfiability Modulo Convex Programming
    49 次引用 · 2018
  4. 4
    Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
    48 次引用 · 2017
  5. 5
    SMC
    42 次引用 · 2017
  6. 6
    Scalable lazy SMT-based motion planning
    32 次引用 · 2016
  7. 7
    Special Session: Embedded Software for Robotics: Challenges and Future Directions
    15 次引用 · 2018
  8. 8
    Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
    10 次引用 · 2024
  9. 9
    DoS-Resilient Multi-Robot Temporal Logic Motion Planning
    8 次引用 · 2019
  10. 10
    Attack Resilience and Recovery using Physical Challenge Response\n Authentication for Active Sensors Under Integrity Attacks
    7 次引用 · 2016

主要合作者

PNPierluigi Nuzzo5 篇合著论文XSXiaowu Sun4 篇合著论文ASAlberto Sangiovanni‐Vincentelli4 篇合著论文GJGeorge J. Pappas4 篇合著论文PTPaulo Tabuada4 篇合著论文SASanjit A. Seshia4 篇合著论文ISIndranil Saha3 篇合著论文SDSuhas Diggavi2 篇合著论文HKHaitham Khedr2 篇合著论文MSMani Srivastava2 篇合著论文YYYair Yona2 篇合著论文WAWalid Abdelfatah1 篇合著论文JFJames Ferlez1 篇合著论文RNRohitkrishna Nambiar1 篇合著论文DUDogan Ulus1 篇合著论文ABAyça Balkan1 篇合著论文GFGeorgios Fainekos1 篇合著论文SASherif A. Hammad1 篇合著论文RMRupak Majumdar1 篇合著论文XSXiaowu Sun1 篇合著论文
尚未生成