Efficient Inference of Temporal Task Specifications from Human Demonstrations using Experiment Design | IEEE Conference Publication | IEEE Xplore