BriefGPT.xyz
May, 2022
基于满足性和时间目标的综合
Synthesis from Satisficing and Temporal Goals
HTML
PDF
Suguman Bansal, Lydia Kavraki, Moshe Y. Vardi, Andrew Wells
TL;DR
本文提出了第一个针对具有分数折扣因子的LTL和DSRewards进行综合的声音算法，并在机器人规划领域展示了其效用。
Abstract
reactive synthesis
from high-level specifications that combine hard constraints expressed in
linear temporal logic ltl
with soft constraints expressed by discounted-sum (DS) rewards has applications in planning a
→