An LTL SAT Encoding for Behavioral Diagnosis

Ingo Hans Pill, Thomas Quaritsch

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

1 Abgeschlossen
1 Laufend

2 Ergebnisse

Laufend
Artificial Intelligence & Applications
Pill, I. H., Wotawa, F. & Haase, V.
16/11/00 → …
Projekt: Arbeitsgebiet
Abgeschlossen
FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. & Pill, I. H.
1/11/10 → 30/06/15
Projekt: Forschungsprojekt