本研究探讨了在输入变量不可靠时实现LTLf目标规范的策略，确保至少满足一个LTLf备份规范。研究确定该问题的复杂性为2EXPTIME-complete，并提出三种解决方案，其中基于二阶量化LTLf的技术效果最佳。

不可靠输入下的LTLf综合
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证