SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers.
Konstantin ChukharevDmitrii SuvorovDaniil ChivilikhinValeriy VyatkinPublished in: IEEE Access (2020)
Keyphrases
- functional programs
- cooperative
- distributed systems
- machine learning
- search space
- model checking
- inductive learning
- lightweight
- distributed environment
- answer set programming
- evolutionary robotics
- bounded model checking
- version space
- distributed data
- fault tolerant
- knowledge representation
- control system
- search algorithm
- web services