SAT-Based Explicit LTLf Satisfiability Checking

Li, JW; Rozier, KY; Pu, GG; Zhang, YL; Vardi, MY

Li, JW (reprint author), Iowa State Univ, Ames, IA 50011 USA.

THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH, 2019; (): 2946

Abstract

We present a SAT-based framework for LTLf (Linear Temporal Logic on Finite Traces) satisfiability checking. We use propositional SAT-solving technique......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索