Khaled Ben Lamine

According to our database, Khaled Ben Lamine authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Reasoning about Robot Actions: A Model Checking Approach.

Khaled Ben Lamine, Froduald Kabanza

Proceedings of the Advances in Plan-Based Control of Robotic Agents, 2001

2000

History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots.

Khaled Ben Lamine, Froduald Kabanza

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000