#LTLf+

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「LTLf+」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月4日

这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。

arXiv cs.AI@Christoph Weinhuber 等 4 人原文