![](/img/cover-not-exists.png)
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
Chukharev, Konstantin, Suvorov, Dmitrii, Chivilikhin, Daniil, Vyatkin, ValeriyVolume:
8
Year:
2020
Journal:
IEEE Access
DOI:
10.1109/access.2020.3037780
File:
PDF, 1.05 MB
2020