Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.

Shaowen Miao, Aiwen Lai, Xiao Yu, Sbastien Lahaye, Jan Komenda

Browse the full CoDIT paper archive.