Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Monitoring temporal properties of continuous signals