BriefGPT - AI 论文速递
·
LTLf Synthesis Based on First-Order Action Theories
💡
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究探讨了在不确定环境中Golog程序的综合问题，提出通过构建游戏环境捕捉程序的所有执行情况，以求解实现程序和满足时间目标的方案。实验结果表明该方法在两个领域中是可行的。
🎯
关键要点
- 本研究解决了在不确定环境下Golog程序综合的问题。
- 该环境对程序的执行具有控制权。
- 提出了一种新颖的方法，通过构建游戏环境来捕捉程序的所有可能执行情况。
- 最终求解出实现程序和满足时间目标的方案。
- 实验结果表明该方法在两个领域中的可行性。
➡️
