Efficient GPU-Accelerated Learning of Linear Temporal Logic Formulae from Traces

The authors develop the first GPU-accelerated algorithm for learning linear temporal logic (LTL) formulae from traces, achieving significant speedups and the ability to handle orders of magnitude more traces compared to existing state-of-the-art learners.