Data-Driven Abstractions for Control Systems. | AMiner