Specification Inference from Demonstrations
An Automata-Theoretic Approach to Linear Temporal Logic