Safe Control under Uncertainty
Monitoring temporal properties of continuous signals