Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shaowen Miao' in GoogleThis author has not been identified. Look up 'Aiwen Lai' in GoogleThis author has not been identified. Look up 'Xiao Yu' in GoogleThis author has not been identified. Look up 'Sébastien Lahaye' in GoogleThis author has not been identified. Look up 'Jan Komenda' in Google

runs on WebDSL