REHMAN, KHALIL UL

REHMAN, KHALIL UL  

Dipartimento di Automatica e Informatica  

105936  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Citazione Data di pubblicazione Autori File
Data driven finite abstractions by simulation relations with probabilistic guarantees using regression trees / D'Innocenzo, Alessandro; Rehman, Khalil Ul; Lun, Yuriy Zacchia. - ELETTRONICO. - (2025), pp. 7044-7049. ( 2025 IEEE 64th Conference on Decision and Control (CDC) Rio de Janeiro (BRA) December 10-12, 2025) [10.1109/cdc57313.2025.11312108]. 1-gen-2025 Rehman, Khalil Ul + Data_driven_finite_abstractions_by_simulation_relations_with_probabilistic_guarantees_using_regression_trees.pdf2025_IEEE_CDC___Data_driven_finite_abstractions_via_regression_trees_and_simulation_relations_with_probabilistic_guarantees as aam.pdf