Michael Winter, Bowen Chen, Tobias Kleinert. Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations. In 51st Annual Conference of the IEEE Industrial Electronics Society, IECON 2025, Madrid, Spain, October 14-17, 2025. pages 1-6, IEEE, 2025. [doi]
Abstract is missing.