Francesco Basile, Gianmaria De Tommasi, Carlo Motta. Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. Automatica, 171:111958, 2025. [doi]
Abstract is missing.