Khaled Ben Lamine
Papers
3
Total Citations
48
H-Index
3
About
No biography available yet.
Research Focus
Programming language3 · 48 citations
Artificial intelligence3 · 48 citations
Mobile robot3 · 48 citations
Robot3 · 48 citations
Computer science3 · 48 citations
Temporal logic1 · 32 citations
Fuzzy logic1 · 32 citations
Independence (probability theory)1 · 32 citations
Noise (video)1 · 32 citations
Semantics (computer science)1 · 32 citations
State (computer science)2 · 16 citations
Human–computer interaction2 · 16 citations
Key Achievements
3
H-Index
3
Papers
48
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots
32 citations · 2002
📈 Most Prolific Year: 2002 (3 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Université de Sherbrooke
Top Papers
- 1
- 2Reasoning about Robot Actions: A Model Checking Approach10 citations · 2002
- 3Reasoning about Robot Actions: A Model Checking Approach6 citations · 2002
Key Collaborators
Not generated yet