Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan Min Zhang Hengyang Wu Yixiang Chen

Published in: Fundam. Informaticae (2014)

Keyphrases

quantitative analysis
qualitative analysis
brain structures
qualitative evaluation
modal logic
qualitative and quantitative analysis
data sets
model checking
desirable properties
inference rules
database
databases
genetic algorithm
learning algorithm
false positives
temporal logic