Semi-automated Synthesis of Control System Software Through Graph Search.

Tomasz Gawron Krzysztof Kozlowski

Published in: KKA (2020)

Keyphrases

semi automated
graph search
control system
fully automated
duplicate detection
depth first search
search algorithm
tree search
memory efficient
heuristic search
search methods
search problems
shortest path
data mining
graph databases
evolutionary algorithm
genetic algorithm