1 code implementation • 20 May 2022 • Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi, Andrew Wells
An alternative approach combining LTL synthesis with satisficing DS rewards (rewards that achieve a threshold) is sound and complete for integer discount factors, but, in practice, a fractional discount factor is desired.