An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

    Research output: Conference proceeding/Chapter in Book/Report/Conference Paperpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 23rd International Workshop on Principles of Diagnosis
    Pages67-74
    Number of pages8
    Publication statusPublished - 2012

    Cite this