Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas: Learning-based symbolic abstractions for nonlinear control systems. Autom. 146: 110646 (2022)