logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Abed, Sa'ed

Kuwait University

0H-index
1Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
Formal verification of physical human-robot interaction using interactive theorem proving
errJournal of Intelligent Systems
IF2
err2026-01-23
err0
PREAI
errAbed, Sa'ed; Rashid, Adnan; Hasan, Osman
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Rashid, Adnan
H-index: 0 · Papers: 1
H
Hasan, Osman
H-index: 0 · Papers: 27
All loaded