Data driven finite abstractions by simulation relations with probabilistic guarantees using regression trees. - Alessandro D'Innocenzo; Khalil Ul Rehman; Yuriy Zacchia Lun (CDC, 2025)