Synthesis from Satisficing and Temporal Goals

Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi +1

Reactive synthesis from high-level specifications that combine hard constraints expressed in Linear Temporal Logic LTL with soft constraints expressed by discounted-sum (DS) reward…