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 is missing.