An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 23rd International Workshop on Principles of Diagnosis
Seiten	67-74
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	23rd International Workshop on Principles of Diagnosis - Great Malvern, Großbritannien / Vereinigtes Königreich Dauer: 31 Juli 2012 → 3 Aug. 2012

Konferenz	23rd International Workshop on Principles of Diagnosis
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Great Malvern
Zeitraum	31/07/12 → 3/08/12

Fields of Expertise

FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. (Teilnehmer (Co-Investigator)) & Pill, I. H. (Projektleiter (Principal Investigator))
1/11/10 → 30/06/15
Projekt: Forschungsprojekt
Artificial Intelligence & Applications
Pill, I. H. (Teilnehmer (Co-Investigator)), Wotawa, F. (Teilnehmer (Co-Investigator)) & Haase, V. (Teilnehmer (Co-Investigator))
16/11/00 → 31/12/24
Projekt: Arbeitsgebiet

@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",

}