Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu: Safe Controller Synthesis for Data-Driven Differential Inclusions. IEEE Trans. Autom. Control. 65(11): 4934-4940 (2020)