Smart Contract Design Meets State Machine Synthesis: Case Studies. - Dmitrii Suvorov; Vladimir Ulyantsev (CoRR, 2019)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. - Konstantin Chukharev; Dmitrii Suvorov; Daniil Chivilikhin; Valeriy Vyatkin (IEEE Access, 2020)