Diverse Planning with Simulators via Linear Temporal Logic