Trimbach, Carl

1. Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator
   2021/11/07 by Walke, Homer, Ritter, Daniel, Trimbach, Carl +1 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)