Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha. Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 5339-5344, IEEE, 2023. [doi]
Abstract is missing.