Reactive synthesis without regret
scientific article