Kazumune Hashimoto Adnane Saoud Masako Kishida Toshimitsu Ushio Dimos V. Dimarogonas Learning-based symbolic abstractions for nonlinear control systems. 110646 2022 146 Autom. https://doi.org/10.1016/j.automatica.2022.110646 db/journals/automatica/automatica146.html#HashimotoSKUD22