Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications

Thao Dang, Alexandre Donzé, Inzemamul Haque +2

We present a novel method for imitation learning for control requirements expressed using Signal Temporal Logic (STL). More concretely we focus on the problem of training a neural…