BriefGPT.xyz
Ask
alpha
关键词
pure past linear temporal logic
搜索结果 - 1
完全可观察非确定性领域模型中的时间扩展目标识别
本文研究将目标识别扩展到具有完整可观察性和非确定性的计划领域模型中,重点是在使用线性时间逻辑(LTLf)和纯过去线性时间逻辑(PLTLf)表达的有限痕迹上识别目标。我们开发了第一种能够识别此类设置中目标的方法,并使用六个计划领域模型上的不同
→
PDF
a year ago
Prev
Next