History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. - Khaled Ben Lamine; Froduald Kabanza (ICTAI, 2000)

Reasoning about Robot Actions: A Model Checking Approach. - Khaled Ben Lamine; Froduald Kabanza (Advances in Plan-Based Control of Robotic Agents, 2001)