Compositional Safety Verification of Infinite Networks: A Data-Driven Approach

Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei. Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. In European Control Conference, ECC 2024, Stockholm, Sweden, June 25-28, 2024. pages 545-551, IEEE, 2024. [doi]

Abstract

Abstract is missing.