Search Results for author:
Found 2 papers, 0 papers with code
Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator
Finite linear temporal logic ($\mathsf{LTL}_f$) is a powerful formal representation for modeling temporal sequences.
Teaching with IMPACT
Like many problems in AI in their general form, supervised learning is computationally intractable.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
