本研究探讨了在不确定环境中Golog程序的综合问题，提出通过构建游戏环境捕捉程序的所有执行情况，以求解实现程序和满足时间目标的方案。实验结果表明该方法在两个领域中是可行的。

LTLf Synthesis Based on First-Order Action Theories
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证