related documents Reactive synthesis for finite tasks under resource constraints Conference Proceeding
