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