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.