Data-Driven Synthesis of Symbolic Abstractions With Guaranteed Confidence. - Lavaei, Abolfazl; Frazzoli, Emilio (IEEE Control. Syst. Lett., 2023)