Khaled Ben Lamine

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

Khaled Ben Lamine, Froduald Kabanza
Reasoning about Robot Actions: A Model Checking Approach. Advances in Plan-Based Control of Robotic Agents (2001)
Khaled Ben Lamine, Froduald Kabanza
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. ICTAI (2000)