Picture for Carl Trimbach

Carl Trimbach

Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Nov 21, 2021
Homer Walke, Daniel Ritter, Carl Trimbach, Michael Littman

Figure 1 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 2 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 3 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

Figure 4 for Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator

* 10 pages, 5 figures

Access Paper or Ask Questions

Teaching with IMPACT

Mar 14, 2019
Carl Trimbach, Michael Littman

Figure 1 for Teaching with IMPACT

Figure 2 for Teaching with IMPACT

Figure 3 for Teaching with IMPACT

Figure 4 for Teaching with IMPACT

Access Paper or Ask Questions