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
Herausgeber (Verlag)	.
Seiten	67-74
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	International Workshop on Principles of Diagnosis - Great Malvern, Großbritannien / Vereinigtes Königreich Dauer: 31 Juli 2012 → 3 Aug. 2012

Konferenz	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

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

publisher = ".",

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

}