An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryUnited 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