Yasser Shoukry

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

Papers

14

Total Citations

500

H-Index

8

About

No biography available yet.

Research Focus

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

Key Achievements

8
H-Index
14
Papers
500
Total Citations
36
Avg Citations/Paper
🏆 Most Cited Paper
PyCRA
141 citations · 2015
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 26
🏛 Institutions: University of California, Los Angeles, University of Maryland, College Park, University of California, Berkeley, University of California, Irvine, Ain Shams University

Top Papers

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

Key Collaborators

PNPierluigi Nuzzo5 shared papersXSXiaowu Sun4 shared papersASAlberto Sangiovanni‐Vincentelli4 shared papersGJGeorge J. Pappas4 shared papersPTPaulo Tabuada4 shared papersSASanjit A. Seshia4 shared papersISIndranil Saha3 shared papersSDSuhas Diggavi2 shared papersHKHaitham Khedr2 shared papersMSMani Srivastava2 shared papersYYYair Yona2 shared papersWAWalid Abdelfatah1 shared papersJFJames Ferlez1 shared papersRNRohitkrishna Nambiar1 shared papersDUDogan Ulus1 shared papersABAyça Balkan1 shared papersGFGeorgios Fainekos1 shared papersSASherif A. Hammad1 shared papersRMRupak Majumdar1 shared papersXSXiaowu Sun1 shared papers
Not generated yet