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