An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 Finished
1 Active

1 results

Filter

Finished
FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions (MoDiaForTed)
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Project: Research project