Aaltodoc
→
Browsing by Author

Browsing by Author "Suvorov, Dmitrii"

Now showing items 1-1 of 1

Title: SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers Author(s): Chukharev, Konstantin; Suvorov, Dmitrii; Chivilikhin, Daniil; Vyatkin, Valeriy Date: 2020 Series: IEEE Access, Volume 8

Now showing items 1-1 of 1

Search archive

Submit a publication

Submit a publication »

Browse

All of archive
- Collections
- By Issue Date
- Authors
- Titles
- Subjects
- Keywords
- Departments