A theory of formal synthesis via inductive learning
Sign Up to like & getrecommendations! Published in 2017 at "Acta Informatica"
DOI: 10.1007/s00236-017-0294-5
Abstract: Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning. We refer to this… read more here.
Keywords: inductive synthesis; formal synthesis; inductive learning; formal inductive ... See more keywords
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