2 papers
cs.SE2024
Exploring LLMs for Verifying Technical System Specifications Against Requirements
Lasse M. Reinpold, Marvin Schieseck, Lukas P. Wagner +2
Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to…
eess.SY2024
A Formal Model for Artificial Intelligence Applications in Automation Systems
Marvin Schieseck, Philip Topalis, Lasse Reinpold +2
The integration of Artificial Intelligence (AI) into automation systems has the potential to enhance efficiency and to address currently unsolved existing technical challenges. How…