Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications

Novel method for imitation learning using Signal Temporal Logic to train neural networks to imitate complex controllers efficiently.