Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Temporal-Logic-Based Reactive Mission and Motion Planning