Enforcing temporal logic specifications via reinforcement learning
Temporal logic inference for classification and prediction from data