An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 23rd International Workshop on Principles of Diagnosis
Publisher.
Pages67-74
Publication statusPublished - 2012
EventInternational Workshop on Principles of Diagnosis - Great Malvern, United Kingdom
Duration: 31 Jul 20123 Aug 2012

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryUnited Kingdom
CityGreat Malvern
Period31/07/123/08/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Theoretical

Cite this

Pill, I. H., & Quaritsch, T. (2012). An LTL SAT Encoding for Behavioral Diagnosis. In Proceedings of the 23rd International Workshop on Principles of Diagnosis (pp. 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. p. 67-74.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, IH & Quaritsch, T 2012, An LTL SAT Encoding for Behavioral Diagnosis. in Proceedings of the 23rd International Workshop on Principles of Diagnosis. ., pp. 67-74, International Workshop on Principles of Diagnosis, Great Malvern, United Kingdom, 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. p. 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. pp. 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 -