Approximate methods for validating autonomous systems in simulation