Sampling-Based Abstractions