Tomasz Gawron, Krzysztof Kozlowski. Semi-automated Synthesis of Control System Software Through Graph Search. In Andrzej Bartoszewicz, Jacek Kabzinski, Janusz Kacprzyk, editors, Advanced, Contemporary Control - Proceedings of KKA 2020 - The 20th Polish Control Conference, Łódź, Poland, 2020. Volume 1196 of Advances in Intelligent Systems and Computing, pages 1092-1103, Springer, 2020. [doi]
Abstract is missing.