Fuzzy Temporal Logic

From AIRWiki
Revision as of 15:23, 23 March 2010 by AndreaBonarini (Talk | contribs) (New page: The aim of this project, a minor project in fulfillment of the PhD duties at Politecnico di Milano, is to investigate the possibility to apply fuzzy temporal logic to the model checking do...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The aim of this project, a minor project in fulfillment of the PhD duties at Politecnico di Milano, is to investigate the possibility to apply fuzzy temporal logic to the model checking domain....