Johan Arcile, Raymond R. Devillers, Hanna Klaudel. Factorization of the State Space Construction for Cyclic Systems with Data. In Belgacem Ben Hedia, Yassine Maleh, Moez Krichen, editors, Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings. Volume 14368 of Lecture Notes in Computer Science, pages 1-14, Springer, 2023. [doi]
Abstract is missing.