SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.3037780
Abstract: This article proposes a new method for automatic synthesis of distributed discrete-state controllers from given temporal specification and behavior examples. The proposed method develops known synthesis methods to the distributed case, which is a fundamental… read more here.
Keywords: synthesis; guided inductive; synthesis distributed; counterexample guided ... See more keywords