[2303.17010] Specification-Guided Data Aggregation for Semantically Aware Imitation Learning