Effiziente Synthese von LTL-Spezifikationen aus Demonstrationen und Erklärungen
Durch die Integration von Erklärungen in die Extraktion von LTL-Spezifikationen aus Demonstrationen können die Zuverlässigkeit und Relevanz der generierten Formeln erhöht werden.