Khaled Ben Lamine, Froduald Kabanza. History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. In 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada. pages 312-319, IEEE Computer Society, 2000. [doi]
Abstract is missing.