Learning and Teaching Automata via Demonstrations and Natural Languages

In this talk, I outline techniques for learning and teaching specifications - in the form of automata - using expert demonstrations and natural language. This covers modeling the likelihood of a demonstration given a task specification automaton, guiding searching the space of automata using natural language and counter-factual demonstrations, and finding pedagogic demonstrations.