Semi-automated synthesis of control system software through graph search

DOI10.1007/978-3-030-50936-1_91OpenAlexW3037929878MaRDI QIDQ6204096FDOQ6204096

Tomasz Gawron, Krzysztof Kozłowski

Publication date: 9 April 2024

Published in: Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-50936-1_91

zbMATH Keywords

control systemssoftware engineeringC++program synthesis

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Semi-automated synthesis of control system software through graph search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204096)