Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator. - Homer Walke; Daniel Ritter 005; Carl Trimbach; Michael Littman 002 (CoRR, 2021)