Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition | IEEE Conference Publication | IEEE Xplore