GR(1) synthesis for LTL specification patterns
Temporal-Logic-Based Reactive Mission and Motion Planning