Khaled Ben Lamine Vis

*	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

Coauthor Index

1

Froduald Kabanza

[1] [2]