Ph.D. candidate in Intelligenza Artificiale , 39th cycle (2023-2026) Department of Control and Computer Engineering (DAUIN) khalil.rehman@polito.it Profile PhD Tutors Alessandro D'Innocenzo Francesco Smarra Publications Latest publications View all publications in Porto@Iris D'Innocenzo, Alessandro; Rehman, Khalil Ul; Lun, Yuriy Zacchia (2025)Data driven finite abstractions by simulation relations with probabilistic guarantees using regression trees. In: 2025 IEEE 64th Conference on Decision and Control (CDC), Rio de Janeiro (BRA), December 10-12, 2025, pp. 7044-7049. ISBN: 979-8-3315-2627-6 Contributo in Atti di Convegno (Proceeding)