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

Khaled Ben Lamine, Froduald Kabanza

Browse the full ICTAI paper archive.