BeBoSy: Behavior Examples Meet Bounded Synthesis

by Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Published 2021-01-01

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers

by Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
Published 2020-01-01