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]
@inproceedings{MiaoLYLK23,
title = {Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition},
author = {Shaowen Miao and Aiwen Lai and Xiao Yu and Sébastien Lahaye and Jan Komenda},
year = {2023},
doi = {10.1109/CoDIT58514.2023.10284082},
url = {https://doi.org/10.1109/CoDIT58514.2023.10284082},
researchr = {https://researchr.org/publication/MiaoLYLK23},
cites = {0},
citedby = {0},
pages = {251-256},
booktitle = {9th International Conference on Control, Decision and Information Technologies, CoDIT 2023, Rome, Italy, July 3-6, 2023},
publisher = {IEEE},
isbn = {979-8-3503-1140-2},
}