Outline

• Motivation

• Propositional Logic

• Logic Dependent Objective

• Objective Prioritization

• Symptom Aided Detection

• Methodology

• Example and Results

• Future Work

• Conclusions

Previous slide

Next slide

Back to first slide

View graphic version