BriefGPT.xyz
Nov, 2019
有限时间范围下基于混合组合推理的反应合成
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
HTML
PDF
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
TL;DR
本文提出了一种混合表示方法,利用显式和符号表示状态空间,并有效地利用它们的互补优势,从而提供了一种解决LTLf到DFA转换过程中三个必要条件的技术,从而解决合成中的瓶颈问题。
Abstract
ltlf synthesis
is the automated construction of a reactive system from a high-level description, expressed in LTLf, of its
finite-horizon behavior
. So far, the conversion of LTLf formulas to deterministic finite-
→