Difference between revisions of "Fuzzy Temporal Logic"
From AIRWiki
m (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...) |
(No difference)
|
Revision as of 16:23, 23 March 2010
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....
