Haitham Khedr

University of Maryland, College Park

论文数

2

总引用数

139

H-Index

2

关于

暂无简介。

研究焦点

Artificial neural network2 · 139 次引用
Computer science2 · 139 次引用
Algorithm2 · 139 次引用
Artificial intelligence2 · 139 次引用
Abstraction1 · 137 次引用
Affine transformation1 · 137 次引用
Mathematics1 · 137 次引用
Reachability1 · 137 次引用
Robot1 · 137 次引用
Satisfiability1 · 137 次引用
State space1 · 137 次引用
Trajectory1 · 137 次引用

主要成就

2
H 指数
2
论文
139
总引用数
70
篇均引用
🏆 最高被引论文
Formal verification of neural network controlled autonomous systems
137 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Maryland, College Park

代表论文

  1. 1
    Formal verification of neural network controlled autonomous systems
    137 次引用 · 2019
  2. 2
    Effective Formal Verification of Neural Networks using the Geometry of Linear Regions.
    2 次引用 · 2020

主要合作者

YSYasser Shoukry2 篇合著论文XSXiaowu Sun1 篇合著论文JFJames Ferlez1 篇合著论文
尚未生成