| |
| 2001 | ||
|---|---|---|
| 2 | EE | Khaled Ben Lamine, Froduald Kabanza: Reasoning about Robot Actions: A Model Checking Approach. Advances in Plan-Based Control of Robotic Agents 2001: 123-139 |
| 2000 | ||
| 1 | EE | Khaled Ben Lamine, Froduald Kabanza: History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. ICTAI 2000: 312-319 |
| 1 | Froduald Kabanza | [1] [2] |