TY - RPRT TI - Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence AU - Abolfazl Lavaei AU - Emilio Frazzoli PY - 2022 UR - https://arxiv.org/abs/2206.09397 ID - 2206.09397 ER -