Khalil Ul Rehman

Dottorando in Intelligenza Artificiale , 39^o ciclo (2023-2026)
Dipartimento di Automatica e Informatica (DAUIN)

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)