Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda. Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. In 9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023. pages 251-256, IEEE, 2023. [doi]
Abstract is missing.