An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

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

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

Dieses zitieren