Fuzzy Temporal Logic

Fuzzy Temporal Logic

Molzam Sharifloo Amir
DEI PhD Student

DEI - 3B Room
November 8th, 2011
at 2.30 p.m.

Abstract:


In this seminar, we aim at presenting a survey on different approaches that propose a language for fuzzy temporal logic. We explain each approach in details and also discuss how we can implement them by using SMT Solvers. In the end, application areas of fuzzy temporal logic are discussed.

Research area:
Advanced software architectures and methodologies