42 citations · 153 across the 26 of their papers we have counts for
27 papers
A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA
Raik Hipler, Martin Leucker, Patrick Rodler
We present an integrated framework that unifies runtime verification and model-based diagnosis within the stream specification language LOLA. By encoding system descriptions, compo…
Learning to Solve and Optimize by Evolving Code
Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato +3
Combinatorial and optimization problems are fundamental to many industrial AI applications. Solving large-scale real-world instances of such problems typically requires careful pro…
Don't Treat the Symptom, Find the Cause! Efficient Artificial-Intelligence Methods for (Interactive) Debugging
Patrick Rodler
In the modern world, we are permanently using, leveraging, interacting with, and relying upon systems of ever higher sophistication, ranging from our cars, recommender systems in e…
How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
Patrick Rodler
This work proposes a taxonomy for diagnosis computation methods which allows their standardized assessment, classification and comparison. The aim is to (i) give researchers and pr…
DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis
Patrick Rodler
Given a system that does not work as expected, Sequential Diagnosis (SD) aims at suggesting a series of system measurements to isolate the true explanation for the system's misbeha…
RBF-HS: Recursive Best-First Hitting Set Search
Patrick Rodler
Various model-based diagnosis scenarios require the computation of most preferred fault explanations. Existing algorithms that are sound (i.e., output only actual fault explanation…