Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]

Open in new window