An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelProceedings of the 23rd International Workshop on Principles of Diagnosis
Herausgeber (Verlag).
Seiten67-74
PublikationsstatusVeröffentlicht - 2012
VeranstaltungInternational Workshop on Principles of Diagnosis - Great Malvern, Großbritannien / Vereinigtes Königreich
Dauer: 31 Jul 20123 Aug 2012

Konferenz

KonferenzInternational Workshop on Principles of Diagnosis
LandGroßbritannien / Vereinigtes Königreich
OrtGreat Malvern
Zeitraum31/07/123/08/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Theoretical

Dies zitieren

Pill, I. H., & Quaritsch, T. (2012). An LTL SAT Encoding for Behavioral Diagnosis. in Proceedings of the 23rd International Workshop on Principles of Diagnosis (S. 67-74). ..

An LTL SAT Encoding for Behavioral Diagnosis. / Pill, Ingo Hans; Quaritsch, Thomas.

Proceedings of the 23rd International Workshop on Principles of Diagnosis. ., 2012. S. 67-74.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Pill, IH & Quaritsch, T 2012, An LTL SAT Encoding for Behavioral Diagnosis. in Proceedings of the 23rd International Workshop on Principles of Diagnosis. ., S. 67-74, Great Malvern, Großbritannien / Vereinigtes Königreich, 31/07/12.
Pill IH, Quaritsch T. An LTL SAT Encoding for Behavioral Diagnosis. in Proceedings of the 23rd International Workshop on Principles of Diagnosis. . 2012. S. 67-74
Pill, Ingo Hans ; Quaritsch, Thomas. / An LTL SAT Encoding for Behavioral Diagnosis. Proceedings of the 23rd International Workshop on Principles of Diagnosis. ., 2012. S. 67-74
@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 = ".",

}

TY - GEN

T1 - An LTL SAT Encoding for Behavioral Diagnosis

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

PY - 2012

Y1 - 2012

M3 - Conference contribution

SP - 67

EP - 74

BT - Proceedings of the 23rd International Workshop on Principles of Diagnosis

PB - .

ER -