Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Homer Walke, Daniel Ritter, Carl Trimbach +1

Finite linear temporal logic (${\mathsf{LTL}}_f$) is a powerful formal representation for modeling temporal sequences. We address the problem of learning a compact ${\mathsf{LTL}}_f$ f…