An LTL SAT Encoding for Behavioral Diagnosis

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

Original language	English
Title of host publication	Proceedings of the 23rd International Workshop on Principles of Diagnosis
Pages	67-74
Publication status	Published - 2012
Event	23rd International Workshop on Principles of Diagnosis - Great Malvern, United Kingdom Duration: 31 Jul 2012 → 3 Aug 2012

Conference	23rd International Workshop on Principles of Diagnosis
Country/Territory	United Kingdom
City	Great Malvern
Period	31/07/12 → 3/08/12

Fields of Expertise

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Attendee / Assistant) & Pill, I. H. (Project manager)
1/11/10 → 30/06/15
Project: Research project
Artificial Intelligence & Applications
Haase, V. (Attendee), Wotawa, F. (Contact person) & Pill, I. H. (Attendee)
16/11/00 → 31/12/24
Project: Research area

@inproceedings{bb2f8f9c135d49ea849482689d6529da,

title = "An LTL SAT Encoding for Behavioral Diagnosis",

author = "Pill, \{Ingo Hans\} and Thomas Quaritsch",

year = "2012",

language = "English",

pages = "67--74",

booktitle = "Proceedings of the 23rd International Workshop on Principles of Diagnosis",

note = "23rd International Workshop on Principles of Diagnosis ; Conference date: 31-07-2012 Through 03-08-2012",

}