Carl Trimbach

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Linear Temporal Logic

Teaching Mathematics

Top Venues

Publications

Homer Walke, Daniel Ritter, Carl Trimbach, Michael L. Littman
Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator. CoRR (2021)
Guan Wang, Carl Trimbach, Jun Ki Lee, Mark K. Ho, Michael L. Littman
Teaching a Robot Tasks of Arbitrary Complexity via Human Feedback. HRI (2020)
Carl Trimbach, Michael L. Littman
Teaching with IMPACT. CoRR (2019)
Mark K. Ho, James MacGlashan, Amy Greenwald, Michael L. Littman, Elizabeth Hilliard, Carl Trimbach, Stephen Brawner, Josh Tenenbaum, Max Kleiman-Weiner, Joseph L. Austerweil
Feature-based Joint Planning and Norm Learning in Collaborative Games. CogSci (2016)