Structural Coverability for Intelligent Automation Systems

Endre Erós, Kristofer Bengtsson, Knut Åkesson. Structural Coverability for Intelligent Automation Systems. In 19th IEEE International Conference on Automation Science and Engineering, CASE 2023, Auckland, New Zealand, August 26-30, 2023. pages 1-6, IEEE, 2023. [doi]

Abstract

Abstract is missing.