Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications