Paper accepted at VMCAI 2024

less than 1 minute read


Our paper «Model-Guided Synthesis for LTL over Finite Traces» is accepted at VMCAI 2024.

This paper introduces a novel approach to acclerate LTLf synthesis via LTLf satisfiability checking. The results show that the approach outperforms all other methodologies off the shelve.