Specification Inference from Demonstrations
Information Theory and Statistical Mechanics