Research output

  1. Exploring the Duality in Conflict-Directed Model-Based Diagnosis

    Research output: Scientific - peer-reviewConference contribution

  2. A Model-Based Active Testing Approach to Sequential Diagnosis

    Research output: Scientific - peer-reviewArticle

  3. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Research output: Scientific - peer-reviewArticle

View all (28) »

Activities

  1. Automated fault diagnosis in embedded systems

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

View all (1) »

ID: 105158