Papers11:18
Chinese content将LTL翻译为LTLf+：用有限迹技术实现无限迹目标这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。
#LTLf+
1 stories · 0 in 7 days · 0 in 30 days
Stories, products and papers tagged "LTLf+", newest first.
Aug 4
这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。