Khaled Ben Lamine

	2001
2		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		Khaled Ben Lamine, Froduald Kabanza: History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. ICTAI 2000: 312-319

Coauthor Index

1

Froduald Kabanza

[1] [2]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page