Login / Signup
Dmitrii Suvorov
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Version Space
State Machine
Fault Tolerant
Bounded Model Checking
Top Venues
CoRR
IEEE Access
</>
Publications
</>
Konstantin Chukharev
,
Dmitrii Suvorov
,
Daniil Chivilikhin
,
Valeriy Vyatkin
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers.
IEEE Access
8 (2020)
Dmitrii Suvorov
,
Vladimir Ulyantsev
Smart Contract Design Meets State Machine Synthesis: Case Studies.
CoRR
(2019)