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...)
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....